Admin/Windows/Cygwin/isabelle/rebaseall
changeset 51068 48cecc50c221
parent 50978 20edcc6a8def
child 52500 9b44e7df9350
equal deleted inserted replaced
51067:8c534a166f2d 51068:48cecc50c221
     4 
     4 
     5 FILE_LIST="$(mktemp)"
     5 FILE_LIST="$(mktemp)"
     6 
     6 
     7 CONTRIB="$(cygpath -u "$(cygpath -w /)\..")"
     7 CONTRIB="$(cygpath -u "$(cygpath -w /)\..")"
     8 
     8 
     9 for DIR in "$CONTRIB/polyml-5.5.0"
     9 for DIR in "$CONTRIB/polyml"*
    10 do
    10 do
    11   find "$DIR" -name "*.dll" >> "$FILE_LIST"
    11   find "$DIR" -name "*.dll" >> "$FILE_LIST"
    12 done
    12 done
    13 
    13 
    14 dash /bin/rebaseall -T "$FILE_LIST"
    14 dash /bin/rebaseall -T "$FILE_LIST"