changeset 56439 | 95e2656b3b23 |
parent 52116 | abf9fcfa65cf |
child 62588 | cd266473b81b |
--- a/lib/Tools/install Sun Apr 06 16:36:28 2014 +0200 +++ b/lib/Tools/install Sun Apr 06 16:59:41 2014 +0200 @@ -63,7 +63,7 @@ mkdir -p "$BINDIR" || fail "Bad directory: \"$BINDIR\"" -for NAME in isabelle isabelle-process isabelle_scala_script +for NAME in isabelle isabelle_process isabelle_scala_script do BIN="$BINDIR/$NAME" DIST="$DISTDIR/bin/$NAME"