Added build dir.

2021-01-17 16:14:59 +00:00 · 2021-01-17 16:14:59 +00:00 · c7c5b0f4ce
parent a80fd4d3c4
commit c7c5b0f4ce
1 changed files with 1 additions and 1 deletions
--- a/isabelle_dof/hooks/build
+++ b/isabelle_dof/hooks/build
@ -43,5 +43,5 @@ else
 fi

 $CONTAINER build --build-arg isadof_version="$ISADOF_VERSION" \
-                 -t $IMAGE_NAME
+                 -t $IMAGE_NAME .