diff options
| 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) | |
| download | builder-0e5f6cfe4364b25f62be175ba015439639e2e2b9.tar.xz | |
bin/nit-picker: fix parsing bug
Diffstat (limited to 'bin/nit-picker')
| -rwxr-xr-x | bin/nit-picker | 2 |
1 files changed, 1 insertions, 1 deletions
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' \ |