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.
autorebase.bat.done no longer exists in Cygwin 1.7.35 -- lets hope that its incremental rebasing works for us;
authorwenzelm
Sun, 12 Apr 2015 12:45:06 +0200
changeset 60031 9cecf02bf65b
parent 60030 9f5b287279c8
child 60032 7fcbdc4aeb8e
autorebase.bat.done no longer exists in Cygwin 1.7.35 -- lets hope that its incremental rebasing works for us;
Admin/lib/Tools/makedist_bundle file | annotate | diff | comparison | revisions 
--- a/Admin/lib/Tools/makedist_bundle	Sun Apr 12 12:07:52 2015 +0200
+++ b/Admin/lib/Tools/makedist_bundle	Sun Apr 12 12:45:06 2015 +0200
@@ -264,10 +264,6 @@
 
       touch "contrib/cygwin/isabelle/uninitialized"
     )
-
-    perl -pi -e "s,/bin/rebaseall.*,/isabelle/rebaseall,g;" \
-      "$ISABELLE_TARGET/contrib/cygwin/etc/postinstall/autorebase.bat.done"
-
     ;;
   *)
     ;;
isabelle