Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/Windows/Cygwin/isabelle/rebaseall
changeset 52500 9b44e7df9350
parent 51068 48cecc50c221
child 52672 8de4235298cb 
--- a/Admin/Windows/Cygwin/isabelle/rebaseall	Tue Jul 02 14:48:01 2013 +0200
+++ b/Admin/Windows/Cygwin/isabelle/rebaseall	Tue Jul 02 15:30:53 2013 +0200
@@ -4,9 +4,7 @@
 
 FILE_LIST="$(mktemp)"
 
-CONTRIB="$(cygpath -u "$(cygpath -w /)\..")"
-
-for DIR in "$CONTRIB/polyml"*
+for DIR in contrib/polyml*
 do
   find "$DIR" -name "*.dll" >> "$FILE_LIST"
 done
isabelle