# HG changeset patch
# User wenzelm
# Date 1335191443 -7200
# Node ID 0622929ca66e85ffa99fb97d913d61a5bb156fc6
# Parent  1c9c498ed4f1b887f6be82b4d6b586d618cdbbd0
avoid conflict of Isabelle vs. Isabelle.exe on Cygwin;

diff -r 1c9c498ed4f1 -r 0622929ca66e Admin/makebundle
--- a/Admin/makebundle	Mon Apr 23 16:05:18 2012 +0200
+++ b/Admin/makebundle	Mon Apr 23 16:30:43 2012 +0200
@@ -73,6 +73,7 @@
 if [ "$PLATFORM" = x86-cygwin ]; then
   EXE="$ARCHIVE_DIR/contrib/x86-cygwin/Isabelle.exe"
   if [ -e "$EXE" ]; then
+    rm -f "$ISABELLE_HOME/Isabelle"
     cp "$EXE" "$ISABELLE_HOME/"
     chmod +x "$ISABELLE_HOME/Isabelle.exe"
   else