# HG changeset patch
# User wenzelm
# Date 1400502084 -7200
# Node ID ab28906b54ae5518a5ecb8bdfc077339de1b50ae
# Parent  61855ade6c7e55694b7569ec01584a0585835376
more explicit identification for more robust adhoc change of environment /home/isatest/.isabelle/etc/settings -- notably for $ISABELLE_PLATFORM64;

diff -r 61855ade6c7e -r ab28906b54ae Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Mon May 19 13:53:58 2014 +0200
+++ b/Admin/isatest/isatest-makedist	Mon May 19 14:21:24 2014 +0200
@@ -15,6 +15,8 @@
 
 SSH="ssh -f"
 
+export THIS_IS_ISATEST_MAKEDIST=true
+
 
 ## diagnostics