--- 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"
--- 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)