From 56ae3e26009b276ed8931944a46a6b7eacd3d95c Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Thu, 28 Jun 2007 16:48:32 +0200
Subject: [PATCH] Log forced submits.

---
 public/submit | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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!"
-- 
2.39.2