From: Martin Mares <mj@ucw.cz>
Date: Thu, 28 Jun 2007 14:48:32 +0000 (+0200)
Subject: Log forced submits.
X-Git-Tag: python-dummy-working~342
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=56ae3e26009b276ed8931944a46a6b7eacd3d95c;p=eval.git

Log forced submits.
---

diff --git a/public/submit b/public/submit
index 886a1c8..119ffcf 100755
--- a/public/submit
+++ b/public/submit
@@ -9,7 +9,7 @@ set -e
 
 function usage
 {
-	die "Usage: check [--force] [-s <source-file>] <problem> [<test-number>]"
+	die "Usage: submit [--force] [-s <source-file>] <problem> [<test-number>]"
 }
 
 FORCE=0
@@ -74,6 +74,7 @@ fi
 
 if [ $FAILED != 0 ] ; then
 	if [ $FORCE != 0 ] ; then
+		echo "Submit forced."
 		pend "TESTS FAILED, but --force given, so submitting anyway."
 	else
 		pend "TESTS FAILED. Nothing has been submitted!"