From f31ef95fe970fd011e48e9c32d852a45385c7690 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sun, 3 Jan 2021 23:35:07 +0000
Subject: [PATCH] Use docker as default container.

---
 isabelle/hooks/build | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/isabelle/hooks/build b/isabelle/hooks/build
index 0b93703..2e715af 100755
--- 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