From 89854fa2a5367640535935926caf48d1f1c8d5a1 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Thu, 22 Jun 2017 09:30:50 +0200
Subject: quote path to sanity-check

---
 bin/get-assignment | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'bin/get-assignment')

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
-- 
cgit v1.2.3-70-g09d2