# HG changeset patch
# User wenzelm
# Date 1335344346 -7200
# Node ID 316c67657fd3f3033b6b5d20f69f045063fba057
# Parent  9c44fdd287a141d296b847f6d1e040c0c541faae
move polyml within Cygwin /usr/local to simplify its rebasing;

diff -r 9c44fdd287a1 -r 316c67657fd3 Admin/makebundle
--- a/Admin/makebundle	Wed Apr 25 10:24:41 2012 +0200
+++ b/Admin/makebundle	Wed Apr 25 10:59:06 2012 +0200
@@ -75,6 +75,8 @@
   [ -e "$TAR" ] || fail "Missing $TAR"
   rm -f "$ISABELLE_HOME/Isabelle"
   tar -C "$ISABELLE_HOME" -xv -f "$TAR"
+
+  mv "$ISABELLE_HOME/contrib"/polyml* "$ISABELLE_HOME/contrib/cygwin-1.7.9/usr/local/"
 fi