Admin/Windows/Cygwin/isabelle/rebaseall
author wenzelm
Fri, 18 Jan 2013 20:24:51 +0100
changeset 50978 20edcc6a8def
parent 50892 9a7d81d66d09
child 51068 48cecc50c221
permissions -rwxr-xr-x
more uniform permissions;

#!/bin/dash

PATH=/bin

FILE_LIST="$(mktemp)"

CONTRIB="$(cygpath -u "$(cygpath -w /)\..")"

for DIR in "$CONTRIB/polyml-5.5.0"
do
  find "$DIR" -name "*.dll" >> "$FILE_LIST"
done

dash /bin/rebaseall -T "$FILE_LIST"

rm -f "$FILE_LIST"