# HG changeset patch
# User wenzelm
# Date 1359391029 -3600
# Node ID 48cecc50c221da9b2798e6b702c0ed9688ac274b
# Parent  8c534a166f2da96cd6e660ab7b8cb74c39be09b6
more generic reference to polyml component;

diff -r 8c534a166f2d -r 48cecc50c221 Admin/Windows/Cygwin/isabelle/rebaseall
--- a/Admin/Windows/Cygwin/isabelle/rebaseall	Mon Jan 28 15:45:54 2013 +0100
+++ b/Admin/Windows/Cygwin/isabelle/rebaseall	Mon Jan 28 17:37:09 2013 +0100
@@ -6,7 +6,7 @@
 
 CONTRIB="$(cygpath -u "$(cygpath -w /)\..")"
 
-for DIR in "$CONTRIB/polyml-5.5.0"
+for DIR in "$CONTRIB/polyml"*
 do
   find "$DIR" -name "*.dll" >> "$FILE_LIST"
 done