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"