# HG changeset patch
# User wenzelm
# Date 1354887000 -3600
# Node ID 2e1b47e22fc6fbcab65d920436db60835c3fadb5
# Parent  0d60de55c58a8e934da856440a2eb92dc6ce53e1
more rigorous "build only" mode: avoid build dialog of logic image and its potential need for GUI display;

diff -r 0d60de55c58a -r 2e1b47e22fc6 src/Tools/jEdit/lib/Tools/jedit
--- a/src/Tools/jEdit/lib/Tools/jedit	Fri Dec 07 13:56:01 2012 +0100
+++ b/src/Tools/jEdit/lib/Tools/jedit	Fri Dec 07 14:30:00 2012 +0100
@@ -316,21 +316,18 @@
 fi
 
 
-# build logic
-
-if [ "$NO_BUILD" = false ]; then
-  "$ISABELLE_TOOL" build_dialog "${BUILD_DIALOG_OPTIONS[@]}" -L jedit_logic "$JEDIT_LOGIC"
-  RC="$?"
-  [ "$RC" = 0 ] || exit "$RC"
-fi
-
-
 # main
 
-[ "$BUILD_ONLY" = true ] || {
+if [ "$BUILD_ONLY" = false ]; then
+  if [ "$NO_BUILD" = false ]; then
+    "$ISABELLE_TOOL" build_dialog "${BUILD_DIALOG_OPTIONS[@]}" -L jedit_logic "$JEDIT_LOGIC"
+    RC="$?"
+    [ "$RC" = 0 ] || exit "$RC"
+  fi
+
   export JEDIT_SESSION_DIRS JEDIT_LOGIC JEDIT_PRINT_MODE
 
   exec "$ISABELLE_TOOL" java "${JAVA_ARGS[@]}" \
     -jar "$(jvmpath "$JEDIT_HOME/dist/jedit.jar")" \
     "-settings=$(jvmpath "$JEDIT_SETTINGS")" "${ARGS[@]}"
-}
+fi