Admin/Windows/Cygwin/isabelle/rebaseall
author wenzelm
Sat, 15 Aug 2015 18:59:31 +0200
changeset 60933 6d03e05ef041
parent 52672 8de4235298cb
child 60985 9d7ba380223c
permissions -rwxr-xr-x
more robust access to stable tip version: take all pending edits into account, don't assume model for current buffer;

#!/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"