# 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