Logfile of submit and check renamed to `check-log' to prevent collisions.

[eval.git] / bin / lib

diff --git a/bin/lib b/bin/lib
index 126e0fd2ee20e09b2119154ac02dda994a74e76e..ea516f17ede8cf3c42a6d6be7361d1eb2cf50e2f 100644 (file)
--- a/bin/lib
+++ b/bin/lib
@@ -368,8 +368,8 @@ function public-setup
        mkdir -p $BOXDIR
        rm -rf $BOXDIR/*
        BOXCMD="$MO_ROOT/bin/box -c$BOXDIR"
-       exec >log
-       pend "OK  (see 'log' for details)"
+       exec >check-log
+       pend "OK  (see 'check-log' for details)"
 }
 
 # Locate output of open data problem, test case TEST