# HG changeset patch
# User wenzelm
# Date 1357829127 -3600
# Node ID 69439c9defec36ae5fcf85ffd60f4b694c7bdbf7
# Parent  4156a45aeb638c3a2235c7ba5b4fd1183601f305
prefer system build mode in main application wrappers, to produce heaps insided distribution directory;

diff -r 4156a45aeb63 -r 69439c9defec Admin/MacOS/App1/script
--- a/Admin/MacOS/App1/script	Thu Jan 10 14:40:19 2013 +0100
+++ b/Admin/MacOS/App1/script	Thu Jan 10 15:45:27 2013 +0100
@@ -60,7 +60,7 @@
   ( "$ISABELLE_TOOL" emacs -p "$PROOFGENERAL_EMACS" "$@" ) > "$OUTPUT" 2>&1
   RC=$?
 else
-  ( "$ISABELLE_TOOL" jedit "$@" ) > "$OUTPUT" 2>&1
+  ( "$ISABELLE_TOOL" jedit -s "$@" ) > "$OUTPUT" 2>&1
   RC=$?
 fi
 
diff -r 4156a45aeb63 -r 69439c9defec Isabelle
--- a/Isabelle	Thu Jan 10 14:40:19 2013 +0100
+++ b/Isabelle	Thu Jan 10 15:45:27 2013 +0100
@@ -4,5 +4,5 @@
 #
 # Default Isabelle application wrapper.
 
-exec "$(dirname "$0")"/bin/isabelle jedit "$@"
+exec "$(dirname "$0")"/bin/isabelle jedit -s "$@"
 
diff -r 4156a45aeb63 -r 69439c9defec src/Pure/Tools/main.scala
--- a/src/Pure/Tools/main.scala	Thu Jan 10 14:40:19 2013 +0100
+++ b/src/Pure/Tools/main.scala	Thu Jan 10 15:45:27 2013 +0100
@@ -17,7 +17,7 @@
       try {
         Platform.init_laf()
         Isabelle_System.init()
-        Isabelle_System.isabelle_tool("jedit", args: _*)
+        Isabelle_System.isabelle_tool("jedit", ("-s" :: args.toList): _*)
       }
       catch { case exn: Throwable => (Exn.message(exn), 2) }