# HG changeset patch
# User wenzelm
# Date 1577136954 -3600
# Node ID ee9998bb417bbc896e8479c41f01f6b795528f6e
# Parent  7a53175fb0f48cd210993ffe5ac6138bb8708cdd
tuned;

diff -r 7a53175fb0f4 -r ee9998bb417b lib/scripts/getsettings
--- 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