Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/isatest-makeall
changeset 13233 5ab7bac534c9
parent 13232 8b1b5e8c4bd6
child 13236 568bc754d303 
--- a/Admin/isatest-makeall	Thu Jun 20 22:17:15 2002 +0200
+++ b/Admin/isatest-makeall	Thu Jun 20 22:17:28 2002 +0200
@@ -58,12 +58,14 @@
 
     echo ------------------- starting test --- `date` --- $HOSTNAME > $TESTLOG 2>&1
 
-    cp -v $SETTINGS $DISTPREFIX/Isabelle/etc/settings >> $TESTLOG 2>&1 
+    cp $DISTPREFIX/Isabelle/etc/settings $DISTPREFIX/Isabelle/etc/settings.save-$SHORT
+    cat $SETTINGS >> $DISTPREFIX/Isabelle/etc/settings
     $DISTPREFIX/Isabelle/bin/isatool makeall all >> $TESTLOG 2>&1 
 
     if [ $? -eq 0 ]
     then
         echo ------------------- test successfull --- `date` --- $HOSTNAME >> $TESTLOG 2>&1
+        mv $DISTPREFIX/Isabelle/etc/settings-$SHORT $DISTPREFIX/Isabelle/etc/settings
         gzip -f $TESTLOG
     else
         echo ------------------- test FAILED --- `date` --- $HOSTNAME >> $TESTLOG 2>&1
isabelle