# HG changeset patch # User wenzelm # Date 1611059198 -3600 # Node ID 8015b81249b1483f043b95e30dee4793d92c3290 # Parent 480521bdaf3abc416108cd1f9d45e79a15ca040d tuned; diff -r 480521bdaf3a -r 8015b81249b1 src/Pure/Admin/build_release.scala --- a/src/Pure/Admin/build_release.scala Mon Jan 18 20:35:39 2021 +0100 +++ b/src/Pure/Admin/build_release.scala Tue Jan 19 13:26:38 2021 +0100 @@ -290,10 +290,8 @@ if [ "$ISABELLE_PLATFORM_FAMILY" = "macos" ]; then JAVA_VERSION="$("$ISABELLE_JDK_HOME/bin/java" -version 2>&1 | head -n 1 | cut -d '"' -f2)" JAVA_DOMAIN="com.azul.zulu.${JAVA_VERSION}.java" - if defaults read "$JAVA_DOMAIN" AppleWindowTabbingMode >/dev/null 2>/dev/null - then : - else defaults write "$JAVA_DOMAIN" AppleWindowTabbingMode manual >/dev/null 2>/dev/null - fi + defaults read "$JAVA_DOMAIN" AppleWindowTabbingMode >/dev/null 2>/dev/null || + defaults write "$JAVA_DOMAIN" AppleWindowTabbingMode manual >/dev/null 2>/dev/null fi exec "$ISABELLE_JDK_HOME/bin/java" \