Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Mon, 23 Dec 2019 22:35:54 +0100
changeset 71344 ee9998bb417b
parent 71343 7a53175fb0f4
child 71345 a956b769903e
tuned;
lib/scripts/getsettings file | annotate | diff | comparison | revisions 
--- a/lib/scripts/getsettings	Mon Dec 23 22:30:03 2019 +0100
+++ b/lib/scripts/getsettings	Mon Dec 23 22:35:54 2019 +0100
@@ -60,7 +60,7 @@
 
 #platform
 source "$ISABELLE_HOME/lib/scripts/isabelle-platform"
-if [ -z "$ISABELLE_PLATFORM32" -a -z "$ISABELLE_PLATFORM64" ]; then
+if [ -z "$ISABELLE_PLATFORM_FAMILY" ]; then
   echo 1>&2 "Failed to determine hardware and operating system type!"
   exit 2
 fi
isabelle