index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2019-07-12 14:30:05 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-07-12 14:30:05 +0200 |
commit | 0e5f6cfe4364b25f62be175ba015439639e2e2b9 (patch) | |
tree | c79af934b8fb5c51a9c1f239dc80af63af415863 /bin/nit-picker | |
parent | a54a0581d42a45169650854f746188bf6fd270b6 (diff) |
-rwxr-xr-x | bin/nit-picker | 2 |
diff --git a/bin/nit-picker b/bin/nit-picker index ed2d708..5eba75c 100755 --- a/bin/nit-picker +++ b/bin/nit-picker @@ -125,7 +125,7 @@ while pgrep -x ii >/dev/null \ 'commit') # check whether a given commit is present in the git repo git_repo="${parameters%% *}" git_rev="${parameters#${git_repo} }" - git_head="${parameters%% *}" + git_head="${git_rev%% *}" git_rev="${git_rev#${git_head} }" eval "$( printf 'git_dir="${repo_paths__%s}"\n' \ |