Admin/Windows/Cygwin/isabelle/rebaseall

more robust executable path specifications;
afford final test of Isabelle.init;
tuned;

#!/bin/dash

export PATH=/bin

FILE_LIST="$(mktemp)"

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

dash /bin/rebaseall -T "$FILE_LIST"

rm -f "$FILE_LIST"