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