# HG changeset patch
# User wenzelm
# Date 858081911 -3600
# Node ID 1dc77f6d83e1db1266263f411782ebdd0e1ad6e7
# Parent  9c42ae57b5f4840ba9ba1f012c7b0a7e9c29f73d
added THIS_IS_ISABELLE_BUILD discrimination;

diff -r 9c42ae57b5f4 -r 1dc77f6d83e1 etc/settings
--- a/etc/settings	Mon Mar 10 10:32:32 1997 +0100
+++ b/etc/settings	Tue Mar 11 13:05:11 1997 +0100
@@ -56,7 +56,13 @@
 # Heap file in/out locations.
 # Note: ML system and platform info is appended automatically!
 ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps
-ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
+
+if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
+  ISABELLE_OUTPUT=$ISABELLE_HOME/heaps
+else
+  ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
+fi
+
 
 DEFAULT_LOGIC=HOL