Admin/Windows/Cygwin/isabelle/rebaseall
changeset 59105 976e73e11d9a
parent 53809 8de4235298cb
equal deleted inserted replaced
59104:09a9b04605e5 59105:976e73e11d9a
     1 #!/bin/dash
       
     2 
       
     3 export PATH=/bin
       
     4 
       
     5 FILE_LIST="$(mktemp)"
       
     6 
       
     7 for DIR in contrib/polyml*
       
     8 do
       
     9   find "$DIR" -name "*.dll" >> "$FILE_LIST"
       
    10 done
       
    11 
       
    12 dash /bin/rebaseall -T "$FILE_LIST"
       
    13 
       
    14 rm -f "$FILE_LIST"
       
    15