# HG changeset patch
# User wenzelm
# Date 1305928814 -7200
# Node ID 108e815fdc8eeea611138e3d8bcff192d67a56c7
# Parent  978b7ea3e3ee77ed50ddaacf8e70b77b9251e29c
misc tuning and update;

diff -r 978b7ea3e3ee -r 108e815fdc8e src/Pure/build-jars
--- a/src/Pure/build-jars	Fri May 20 23:59:46 2011 +0200
+++ b/src/Pure/build-jars	Sat May 21 00:00:14 2011 +0200
@@ -2,7 +2,7 @@
 #
 # Author: Makarius
 #
-# mk-jars - build Isabelle/Scala
+# build-jars - build Isabelle/Scala
 #
 # Requires proper Isabelle settings environment.
 
@@ -15,7 +15,7 @@
   exit 2
 }
 
-[ -n "$ISABELLE_HOME" ] || fail "Missing Isabelle settings environment"
+[ -z "$ISABELLE_HOME" ] && fail "Missing Isabelle settings environment"
 [ -z "$SCALA_HOME" ] && fail "Unknown SCALA_HOME -- Scala unavailable"
 
 
diff -r 978b7ea3e3ee -r 108e815fdc8e src/Tools/jEdit/makedist
--- a/src/Tools/jEdit/makedist	Fri May 20 23:59:46 2011 +0200
+++ b/src/Tools/jEdit/makedist	Sat May 21 00:00:14 2011 +0200
@@ -4,9 +4,9 @@
 
 ## self references
 
-PRG=$(basename "$0")
-THIS=$(cd "$(dirname "$0")"; pwd)
-SUPER=$(cd "$THIS/.."; pwd)
+PRG="$(basename "$0")"
+THIS="$(cd "$(dirname "$0")"; pwd)"
+SUPER="$(cd "$THIS/.."; pwd)"
 
 
 ## diagnostics
@@ -38,7 +38,7 @@
 
 # options
 
-while getopts "j:s:" OPT
+while getopts "j:" OPT
 do
   case "$OPT" in
     j)