Use docker as default container.

2021-01-03 23:35:07 +00:00 · 2021-01-03 23:35:07 +00:00 · f31ef95fe9
parent 2cfef2ddfc
commit f31ef95fe9
1 changed files with 2 additions and 0 deletions
--- a/isabelle/hooks/build
+++ b/isabelle/hooks/build
@ -27,6 +27,8 @@

 set -e 

+CONTAINER=${CONTAINER:-docker}
+
 # Generate Isabelle image
 ISA_URL="https://isabelle.in.tum.de/website-Isabelle"$VERSION"/dist/Isabelle"$VERSION"_linux.tar.gz"
 if [ "$LATEST" == "$VERSION" ]; then