lh-docker
/
lh-docker-isabelle
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Ensure quoting of arguments.
lh-docker/lh-docker-isabelle/master This commit looks good Details

This commit is contained in:
Achim D. Brucker 2019-08-16 07:21:54 +01:00
parent 0890d5a517
commit b67a679bd7
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
isabelle/hooks/build
View File

@ -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"