From b67a679bd7af7e243c3225eb7fe48f88281a7d9c Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Fri, 16 Aug 2019 07:21:54 +0100
Subject: [PATCH] Ensure quoting of arguments.

---
 isabelle/hooks/build | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/isabelle/hooks/build b/isabelle/hooks/build
index 00001f3..5c60701 100755
--- a/isabelle/hooks/build
+++ b/isabelle/hooks/build
@@ -47,7 +47,7 @@ for url in $ISA_URL $AFP_URL/$AFP_TAR; do
 done
 
 docker build -t logicalhacking/isabelle$VERSION isabelle \
-             --build-arg uid=$DOCKERUID \
-             --build-arg sessions=$SESSIONS \
-             --build-arg isabelle=$ISA_URL \
-             --build-arg afp=$AFP_URL/$AFP_TAR
+             --build-arg uid="$DOCKERUID" \
+             --build-arg sessions="$SESSIONS" \
+             --build-arg isabelle="$ISA_URL" \
+             --build-arg afp="$AFP_URL/$AFP_TAR"