# HG changeset patch
# User wenzelm
# Date 1440074122 -7200
# Node ID 9d7ba380223c51c4c71e13cfbb3e34b454d879aa
# Parent  6a887d1d50b9783ede18a5d179962b9197bdfcad
obsolete;

diff -r 6a887d1d50b9 -r 9d7ba380223c Admin/Windows/Cygwin/isabelle/rebaseall
--- a/Admin/Windows/Cygwin/isabelle/rebaseall	Thu Aug 20 14:31:09 2015 +0200
+++ b/Admin/Windows/Cygwin/isabelle/rebaseall	Thu Aug 20 14:35:22 2015 +0200
@@ -1,15 +1,4 @@
 #!/bin/dash
 
 export PATH=/bin
-
-FILE_LIST="$(mktemp)"
-
-for DIR in contrib/polyml*
-do
-  find "$DIR" -name "*.dll" >> "$FILE_LIST"
-done
-
-dash /bin/rebaseall -T "$FILE_LIST"
-
-rm -f "$FILE_LIST"
-
+dash /bin/rebaseall