diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-22 09:30:50 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-22 09:30:50 +0200 |
| commit | 89854fa2a5367640535935926caf48d1f1c8d5a1 (patch) | |
| tree | 93f0465511ed8b28089359abacb69e749224d71c /bin/get-assignment | |
| parent | 11ff36adf8317214aa69805c5ad8616113378969 (diff) | |
| download | builder-89854fa2a5367640535935926caf48d1f1c8d5a1.tar.xz | |
quote path to sanity-check
Diffstat (limited to 'bin/get-assignment')
| -rwxr-xr-x | bin/get-assignment | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index d486738..c028007 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -50,7 +50,7 @@ hand_out_assignment() { } -if ! ${base_dir}/bin/sanity-check -r; then +if ! "${base_dir}/bin/sanity-check" -r; then >&2 echo 'Build master is not sane.' exit 1 fi |