misc tuning and update;
authorwenzelm
Sat May 21 00:00:14 2011 +0200 (2011-05-21)
changeset 42899108e815fdc8e
parent 42898 978b7ea3e3ee
child 42900 4a26abd3d57b
misc tuning and update;
src/Pure/build-jars
src/Tools/jEdit/makedist
     1.1 --- a/src/Pure/build-jars	Fri May 20 23:59:46 2011 +0200
     1.2 +++ b/src/Pure/build-jars	Sat May 21 00:00:14 2011 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4  #
     1.5  # Author: Makarius
     1.6  #
     1.7 -# mk-jars - build Isabelle/Scala
     1.8 +# build-jars - build Isabelle/Scala
     1.9  #
    1.10  # Requires proper Isabelle settings environment.
    1.11  
    1.12 @@ -15,7 +15,7 @@
    1.13    exit 2
    1.14  }
    1.15  
    1.16 -[ -n "$ISABELLE_HOME" ] || fail "Missing Isabelle settings environment"
    1.17 +[ -z "$ISABELLE_HOME" ] && fail "Missing Isabelle settings environment"
    1.18  [ -z "$SCALA_HOME" ] && fail "Unknown SCALA_HOME -- Scala unavailable"
    1.19  
    1.20  
     2.1 --- a/src/Tools/jEdit/makedist	Fri May 20 23:59:46 2011 +0200
     2.2 +++ b/src/Tools/jEdit/makedist	Sat May 21 00:00:14 2011 +0200
     2.3 @@ -4,9 +4,9 @@
     2.4  
     2.5  ## self references
     2.6  
     2.7 -PRG=$(basename "$0")
     2.8 -THIS=$(cd "$(dirname "$0")"; pwd)
     2.9 -SUPER=$(cd "$THIS/.."; pwd)
    2.10 +PRG="$(basename "$0")"
    2.11 +THIS="$(cd "$(dirname "$0")"; pwd)"
    2.12 +SUPER="$(cd "$THIS/.."; pwd)"
    2.13  
    2.14  
    2.15  ## diagnostics
    2.16 @@ -38,7 +38,7 @@
    2.17  
    2.18  # options
    2.19  
    2.20 -while getopts "j:s:" OPT
    2.21 +while getopts "j:" OPT
    2.22  do
    2.23    case "$OPT" in
    2.24      j)