diff options
| author | Erich Eckner <git@eckner.net> | 2017-10-23 12:18:29 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-10-23 12:18:29 +0200 |
| commit | d05885c1afb96dc893d4eb763d2ee577a7686fb5 (patch) | |
| tree | 5a3fa0a9912dfdd4b0ad9eec64a412daf706cb66 | |
| parent | ad39062f22a1afb60888109420c1c5a309461f26 (diff) | |
| download | builder-d05885c1afb96dc893d4eb763d2ee577a7686fb5.tar.xz | |
bin/return-assignment: silence grep
| -rwxr-xr-x | bin/return-assignment | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/return-assignment b/bin/return-assignment index 27404df..2f60612 100755 --- a/bin/return-assignment +++ b/bin/return-assignment @@ -47,7 +47,7 @@ if [ "$5" = 'ERROR' ]; then fi # shellcheck disable=SC2154 - if ! grep -xF "${slave}" "${work_dir}/package-states/$1.$2.$3.$4.locked"; then + if ! grep -qxF "${slave}" "${work_dir}/package-states/$1.$2.$3.$4.locked"; then # whoops, this package is built by someone else exit 0 fi |