Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
var/run -> var/running
authorkleing
Fri, 09 May 2003 12:08:00 +0200
changeset 13991 b289ab046d3b
parent 13990 506102b6a6d4
child 13992 93769c6c85d7
var/run -> var/running
Admin/isatest-check file | annotate | diff | comparison | revisions
Admin/isatest-makedist file | annotate | diff | comparison | revisions 
--- a/Admin/isatest-check	Fri May 09 12:02:57 2003 +0200
+++ b/Admin/isatest-check	Fri May 09 12:08:00 2003 +0200
@@ -27,7 +27,7 @@
 ERRORLOG=$HOME/var/error.log
 
 # where the test-still-running files are
-RUNNING=$HOME/var/run/
+RUNNING=$HOME/var/running
 
 # tmp file for sending mail
 TMP=/tmp/isatest-makedist.$$
--- a/Admin/isatest-makedist	Fri May 09 12:02:57 2003 +0200
+++ b/Admin/isatest-makedist	Fri May 09 12:08:00 2003 +0200
@@ -21,7 +21,7 @@
 LOGPREFIX=$HOME/log
 MASTERLOG=$LOGPREFIX/isatest.log
 ERRORLOG=$HOME/var/error.log
-RUNNING=$HOME/var/run
+RUNNING=$HOME/var/running
 DISTPREFIX=$HOME/isadist
 MAKEDIST=$HOME/bin/makedist
 MAKEALL=$HOME/bin/isatest-makeall
isabelle