# HG changeset patch
# User wenzelm
# Date 858705626 -3600
# Node ID 27dd00d74e5acfc837a7ce1a315ca1f6653dfeb4
# Parent  c4e16b36bc57286e2cfd1dae9c66c30a0a783c38
asserts $ISABELLE_OUTPUT_DIR;

diff -r c4e16b36bc57 -r 27dd00d74e5a lib/Tools/makeall
--- a/lib/Tools/makeall	Tue Mar 18 18:02:19 1997 +0100
+++ b/lib/Tools/makeall	Tue Mar 18 18:20:26 1997 +0100
@@ -56,6 +56,7 @@
         echo '		**** Consider the -notest switch ****'
 esac
 
+mkdir -p $ISABELLE_OUTPUT_DIR
 
 case $FORCE.$EXEC in
   on.on) (cd $ISABELLE_OUTPUT_DIR;