changeset 41967 | 6aa69999da8f |
parent 39686 | 8b9f971ace20 |
child 44978 | a04f3eb3943c |
--- a/Admin/isatest/isatest-makeall Mon Mar 14 12:34:12 2011 +0100 +++ b/Admin/isatest/isatest-makeall Mon Mar 14 15:13:00 2011 +0100 @@ -153,6 +153,7 @@ rm -rf $ISABELLE_HOME_USER fi + cp $DISTPREFIX/Isabelle/etc/settings.orig $DISTPREFIX/Isabelle/etc/settings cat $SETTINGS >> $DISTPREFIX/Isabelle/etc/settings (ulimit -t $MAXTIME; cd $DIR; $NICE $TOOL >> $TESTLOG 2>&1)