more explicit identification for more robust adhoc change of environment /home/isatest/.isabelle/etc/settings -- notably for $ISABELLE_PLATFORM64;
--- 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