# HG changeset patch
# User wenzelm
# Date 1428835506 -7200
# Node ID 9cecf02bf65be52ac1022ca54c5671eaa789e04c
# Parent  9f5b287279c812bc5fc4a2379eb1499e7a397d64
autorebase.bat.done no longer exists in Cygwin 1.7.35 -- lets hope that its incremental rebasing works for us;

diff -r 9f5b287279c8 -r 9cecf02bf65b Admin/lib/Tools/makedist_bundle
--- 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"
-
     ;;
   *)
     ;;