isabelle: Admin/Windows/Cygwin/isabelle/rebaseall@0941a2024569 (annotated)

50807 c065f3d14197 clarified cygwin/isabelle scripts; wenzelm parents: diff changeset	1	#!/bin/dash
c065f3d14197 clarified cygwin/isabelle scripts; wenzelm parents: diff changeset	2
52672 8de4235298cb more robust executable path specifications; wenzelm parents: 52500 diff changeset	3	export PATH=/bin
50807 c065f3d14197 clarified cygwin/isabelle scripts; wenzelm parents: diff changeset	4
c065f3d14197 clarified cygwin/isabelle scripts; wenzelm parents: diff changeset	5	FILE_LIST="$(mktemp)"
c065f3d14197 clarified cygwin/isabelle scripts; wenzelm parents: diff changeset	6
52500 9b44e7df9350 clarified initial cd; wenzelm parents: 51068 diff changeset	7	for DIR in contrib/polyml*
50807 c065f3d14197 clarified cygwin/isabelle scripts; wenzelm parents: diff changeset	8	do
50892 9a7d81d66d09 include /isabelle/rebaseall in autorebaseall, which is run after installation of further packages; wenzelm parents: 50888 diff changeset	9	find "$DIR" -name "*.dll" >> "$FILE_LIST"
50807 c065f3d14197 clarified cygwin/isabelle scripts; wenzelm parents: diff changeset	10	done
c065f3d14197 clarified cygwin/isabelle scripts; wenzelm parents: diff changeset	11
c065f3d14197 clarified cygwin/isabelle scripts; wenzelm parents: diff changeset	12	dash /bin/rebaseall -T "$FILE_LIST"
c065f3d14197 clarified cygwin/isabelle scripts; wenzelm parents: diff changeset	13
c065f3d14197 clarified cygwin/isabelle scripts; wenzelm parents: diff changeset	14	rm -f "$FILE_LIST"
50978 20edcc6a8def more uniform permissions; wenzelm parents: 50892 diff changeset	15

author	nipkow
	Wed, 16 Oct 2013 21:45:15 +0200
changeset 54122	0941a2024569
parent 52672	8de4235298cb
child 60985	9d7ba380223c
permissions	-rwxr-xr-x