diff -r d65835c381dd -r 6aa69999da8f Admin/isatest/isatest-makeall --- 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)