Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
avoid conflict of Isabelle vs. Isabelle.exe on Cygwin;
authorwenzelm
Mon, 23 Apr 2012 16:30:43 +0200
changeset 47697 0622929ca66e
parent 47696 1c9c498ed4f1
child 47698 18202d3d5832
avoid conflict of Isabelle vs. Isabelle.exe on Cygwin;
Admin/makebundle file | annotate | diff | comparison | revisions 
--- 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