# HG changeset patch
# User wenzelm
# Date 1378406244 -7200
# Node ID 8e729ecd5b0cb8e176d32533a7c671375a86e90f
# Parent  35de3ff361d51c0d9157f5f644ae718abf05cd8f
provide file indicator;

diff -r 35de3ff361d5 -r 8e729ecd5b0c Admin/lib/Tools/makedist_bundle
--- a/Admin/lib/Tools/makedist_bundle	Thu Sep 05 20:26:41 2013 +0200
+++ b/Admin/lib/Tools/makedist_bundle	Thu Sep 05 20:37:24 2013 +0200
@@ -162,6 +162,8 @@
 
       find . -type l -exec echo "{}" ";" -exec readlink "{}" ";" \
         > "contrib/cygwin/isabelle/symlinks"
+
+      touch "contrib/cygwin/isabelle/uninitialized"
     )
 
     perl -pi -e "s,/bin/rebaseall.*,/isabelle/rebaseall,g;" \