From 89854fa2a5367640535935926caf48d1f1c8d5a1 Mon Sep 17 00:00:00 2001 From: Erich Eckner Date: Thu, 22 Jun 2017 09:30:50 +0200 Subject: quote path to sanity-check --- bin/db-update | 2 +- bin/get-assignment | 2 +- bin/get-package-updates | 2 +- bin/return-assignment | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/bin/db-update b/bin/db-update index 8c8c049..bacb0e8 100755 --- a/bin/db-update +++ b/bin/db-update @@ -310,7 +310,7 @@ done packages_to_stabilize=${packages_to_stabilize} ${@} -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 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 diff --git a/bin/get-package-updates b/bin/get-package-updates index 5faf6f5..e61dbe1 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -72,7 +72,7 @@ if [ $# -ne 0 ]; then usage fi -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 diff --git a/bin/return-assignment b/bin/return-assignment index e4a3934..3090089 100755 --- a/bin/return-assignment +++ b/bin/return-assignment @@ -20,7 +20,7 @@ . "${0%/*}/../conf/default.conf" -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 -- cgit v1.2.3-54-g00ecf