# HG changeset patch # User wenzelm # Date 1335217827 -7200 # Node ID 7d292190c4aba02dd33da75c7df75d6680d7eb95 # Parent 49c05c666475d48f73811f4f62b1c84522637411 bundle Cygwin-Terminal.bat; tuned; diff -r 49c05c666475 -r 7d292190c4ab Admin/makebundle --- a/Admin/makebundle Mon Apr 23 23:38:35 2012 +0200 +++ b/Admin/makebundle Mon Apr 23 23:50:27 2012 +0200 @@ -71,14 +71,15 @@ done if [ "$PLATFORM" = x86-cygwin ]; then - EXE="$ARCHIVE_DIR/contrib/x86-cygwin/Isabelle.exe" - if [ -e "$EXE" ]; then - rm -f "$ISABELLE_HOME/Isabelle" + for NAME in Isabelle.exe Cygwin-Terminal.bat + do + EXE="$ARCHIVE_DIR/contrib/x86-cygwin/$NAME" + [ ! -e "$EXE" ] && fail "Missing $NAME" + echo "$NAME" cp "$EXE" "$ISABELLE_HOME/" - chmod +x "$ISABELLE_HOME/Isabelle.exe" - else - fail "Missing $EXE" - fi + chmod +x "$ISABELLE_HOME/$NAME" + done + rm -f "$ISABELLE_HOME/Isabelle" fi