changeset 71342 | d72d4a9316c9 |
parent 69930 | b5286c564861 |
child 71344 | ee9998bb417b |
--- a/lib/scripts/getsettings Mon Dec 23 22:08:20 2019 +0100 +++ b/lib/scripts/getsettings Mon Dec 23 22:24:28 2019 +0100 @@ -60,7 +60,7 @@ #platform source "$ISABELLE_HOME/lib/scripts/isabelle-platform" -if [ -z "$ISABELLE_PLATFORM" ]; then +if [ -z "$ISABELLE_PLATFORM32" -a -z "$ISABELLE_PLATFORM64" ]; then echo 1>&2 "Failed to determine hardware and operating system type!" exit 2 fi