X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;ds=sidebyside;f=bin%2Flib;h=ea516f17ede8cf3c42a6d6be7361d1eb2cf50e2f;hb=a56d61d402c68c3746f5e84be6dbfb949d897db1;hp=126e0fd2ee20e09b2119154ac02dda994a74e76e;hpb=e7d24c46c66aead08c0dde29cfbc6e0a58753793;p=eval.git

diff --git a/bin/lib b/bin/lib
index 126e0fd..ea516f1 100644
--- 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