fixed { ... } shell syntax to accomodate bash 2.x;
authorwenzelm
Fri Apr 11 17:30:15 1997 +0200 (1997-04-11)
changeset 2936bd33e7aae062
parent 2935 998cb95fdd43
child 2937 9d31c472d0b0
fixed { ... } shell syntax to accomodate bash 2.x;
bin/isabelle
bin/isatool
build
lib/Tools/doc
lib/Tools/findlogics
lib/scripts/run-polyml
lib/scripts/run-smlnj
lib/scripts/run-smlnj-0.93
     1.1 --- a/bin/isabelle	Fri Apr 11 15:21:36 1997 +0200
     1.2 +++ b/bin/isabelle	Fri Apr 11 17:30:15 1997 +0200
     1.3 @@ -11,7 +11,7 @@
     1.4  
     1.5  ISABELLE_HOME=$(dirname $0)/..
     1.6  . $ISABELLE_HOME/lib/scripts/getsettings || \
     1.7 -  { echo "$PRG probably not called from its original place!"; exit 2 }
     1.8 +  { echo "$PRG probably not called from its original place!"; exit 2; }
     1.9  
    1.10  
    1.11  ## diagnostics
    1.12 @@ -104,7 +104,7 @@
    1.13    shift
    1.14  fi
    1.15  
    1.16 -[ $# -ne 0 ] && { echo "Bad args: $*"; usage }
    1.17 +[ $# -ne 0 ] && { echo "Bad args: $*"; usage; }
    1.18  
    1.19  
    1.20  ## check ML system
     2.1 --- a/bin/isatool	Fri Apr 11 15:21:36 1997 +0200
     2.2 +++ b/bin/isatool	Fri Apr 11 17:30:15 1997 +0200
     2.3 @@ -12,7 +12,7 @@
     2.4  
     2.5  ISABELLE_HOME=$(dirname $0)/..
     2.6  . $ISABELLE_HOME/lib/scripts/getsettings || \
     2.7 -  { echo "$PRG probably not called from its original place!"; exit 2 }
     2.8 +  { echo "$PRG probably not called from its original place!"; exit 2; }
     2.9  
    2.10  
    2.11  ## diagnostics
     3.1 --- a/build	Fri Apr 11 15:21:36 1997 +0200
     3.2 +++ b/build	Fri Apr 11 17:30:15 1997 +0200
     3.3 @@ -11,7 +11,7 @@
     3.4  
     3.5  ISABELLE_HOME=$(dirname $0)
     3.6  . $ISABELLE_HOME/lib/scripts/getsettings || \
     3.7 -  { echo "$PRG probably not called from its original place!"; exit 2 }
     3.8 +  { echo "$PRG probably not called from its original place!"; exit 2; }
     3.9  
    3.10  
    3.11  ## diagnostics
     4.1 --- a/lib/Tools/doc	Fri Apr 11 15:21:36 1997 +0200
     4.2 +++ b/lib/Tools/doc	Fri Apr 11 17:30:15 1997 +0200
     4.3 @@ -30,7 +30,7 @@
     4.4  ## args
     4.5  
     4.6  DOC=""
     4.7 -[ $# -ge 1 ] && { DOC="$1"; shift }
     4.8 +[ $# -ge 1 ] && { DOC="$1"; shift; }
     4.9  
    4.10  [ $# -ne 0 -o "$DOC" = "-?" ] && usage
    4.11  
    4.12 @@ -45,7 +45,7 @@
    4.13  else
    4.14    for DIR in $ISABELLE_DOCS
    4.15    do
    4.16 -    [ -f $DIR/$DOC.dvi ] && { cd $DIR; exec $DVI_VIEWER $DOC.dvi }
    4.17 +    [ -f $DIR/$DOC.dvi ] && { cd $DIR; exec $DVI_VIEWER $DOC.dvi; }
    4.18    done
    4.19    fail "Unknown Isabelle document: $DOC"  
    4.20  fi
     5.1 --- a/lib/Tools/findlogics	Fri Apr 11 15:21:36 1997 +0200
     5.2 +++ b/lib/Tools/findlogics	Fri Apr 11 17:30:15 1997 +0200
     5.3 @@ -36,4 +36,4 @@
     5.4    done
     5.5  done
     5.6  
     5.7 -echo $({ for L in $LOGICS; do echo $L; done } | sort | uniq)
     5.8 +echo $({ for L in $LOGICS; do echo $L; done; } | sort | uniq)
     6.1 --- a/lib/scripts/run-polyml	Fri Apr 11 15:21:36 1997 +0200
     6.2 +++ b/lib/scripts/run-polyml	Fri Apr 11 17:30:15 1997 +0200
     6.3 @@ -44,12 +44,12 @@
     6.4  elif [ "$INFILE" -ef "$OUTFILE" ]; then
     6.5    DB="$INFILE"
     6.6  elif [ -n "$COPYDB" ]; then
     6.7 -  [ -f "$OUTFILE" ] && { rm -f "$OUTFILE" || fail_out }
     6.8 +  [ -f "$OUTFILE" ] && { rm -f "$OUTFILE" || fail_out; }
     6.9    cp "$INFILE" "$OUTFILE" || fail_out
    6.10    chmod +w "$OUTFILE" || fail_out
    6.11    DB="$OUTFILE"
    6.12  else
    6.13 -  [ -f "$OUTFILE" ] && { rm -f "$OUTFILE" || fail_out }
    6.14 +  [ -f "$OUTFILE" ] && { rm -f "$OUTFILE" || fail_out; }
    6.15    echo "PolyML.make_database \"$OUTFILE\"; PolyML.quit();" | $POLY -r "$INFILE"
    6.16    [ -f "$OUTFILE" ] || fail_out
    6.17    DB="$OUTFILE"
     7.1 --- a/lib/scripts/run-smlnj	Fri Apr 11 15:21:36 1997 +0200
     7.2 +++ b/lib/scripts/run-smlnj	Fri Apr 11 17:30:15 1997 +0200
     7.3 @@ -39,11 +39,11 @@
     7.4  if [ -z "$OUTFILE" ]; then
     7.5    COMMIT='fun commit () = (output (std_err, "Error - Database is not opened for writing.\n"); false);'
     7.6  elif [ -n "$INFILE" -a ! "$INFILE" -ef "$OUTFILE" ]; then
     7.7 -  [ -f "$OUTFILE" ] && { rm -f "$OUTFILE" || fail_out }
     7.8 +  [ -f "$OUTFILE" ] && { rm -f "$OUTFILE" || fail_out; }
     7.9    cp "$INFILE" "$OUTFILE" || fail_out
    7.10  fi
    7.11  
    7.12 -[ -n "$OUTFILE" -a -f "$OUTFILE" ] && { chmod +w "$OUTFILE" || fail_out }
    7.13 +[ -n "$OUTFILE" -a -f "$OUTFILE" ] && { chmod +w "$OUTFILE" || fail_out; }
    7.14  
    7.15  MLTEXT="$EXIT $COMMIT $MLTEXT"
    7.16  MLEXIT="commit();"
     8.1 --- a/lib/scripts/run-smlnj-0.93	Fri Apr 11 15:21:36 1997 +0200
     8.2 +++ b/lib/scripts/run-smlnj-0.93	Fri Apr 11 17:30:15 1997 +0200
     8.3 @@ -37,7 +37,7 @@
     8.4      mkdir -p "$OUTDIR" || fail_out
     8.5      MOVE=true
     8.6    fi
     8.7 -  [ -f "$OUTFILE" ] && { chmod +w "$OUTFILE" || fail_out }
     8.8 +  [ -f "$OUTFILE" ] && { chmod +w "$OUTFILE" || fail_out; }
     8.9    COMMIT="fun commit () = not (exportML\"$OUTFILE\");"
    8.10  fi
    8.11