Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/makebundle
changeset 47697 0622929ca66e
parent 47685 8b31786fe603
child 47709 7d292190c4ab 
--- 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
isabelle