Admin/Windows/Cygwin/isabelle/rebaseall

more general prover termination dialog, which might indicate undetected failure or just ML "exit 0";

#!/bin/dash

PATH=/bin

FILE_LIST="$(mktemp)"

for DIR in "$@"
do
  find "$DIR" -name "*.dll" >> "$FILE_LIST"
done

dash /bin/rebaseall -T "$FILE_LIST"

rm -f "$FILE_LIST"