Source hook locally.

2019-08-16 14:16:06 +01:00 · 2019-08-16 14:16:06 +01:00 · 8ada0bd1b9
parent 13553ff8aa
commit 8ada0bd1b9
1 changed files with 1 additions and 1 deletions
--- a/build.sh
+++ b/build.sh
@ -37,4 +37,4 @@ LATEST="2019"
 docker build -t logicalhacking/debian4isabelle debian4isabelle

 # Generate Isabelle image(s)
-source isabelle/hooks/build
+( cd isabelle && source hooks/build)