Admin/Windows/Cygwin/isabelle/rebaseall
changeset 50892 9a7d81d66d09
parent 50888 bfe84bbd010b
child 50978 20edcc6a8def
equal deleted inserted replaced
50891:d1a0335b4231 50892:9a7d81d66d09
     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 NAME in "$@"
     9 for DIR in "$CONTRIB/polyml-5.5.0"
    10 do
    10 do
    11   find "$CONTRIB/$NAME" -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"
    15 
    15 
    16 rm -f "$FILE_LIST"
    16 rm -f "$FILE_LIST"