Log forced submits.

diff --git a/public/submit b/public/submit
index 886a1c89e7f87ad1d4c0d28a151000be79e9b66d..119ffcf2d43c6c53150fa316d8e9189412c40fda 100755 (executable)
--- a/public/submit
+++ b/public/submit
@@ -9,7 +9,7 @@ set -e
 
 function usage
 {
 
 function usage
 {

-       die "Usage: check [--force] [-s <source-file>] <problem> [<test-number>]"
+       die "Usage: submit [--force] [-s <source-file>] <problem> [<test-number>]"

 }
 
 FORCE=0
 }
 
 FORCE=0


@@ -74,6 +74,7 @@ fi
 
 if [ $FAILED != 0 ] ; then
        if [ $FORCE != 0 ] ; then
 
 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!"
                pend "TESTS FAILED, but --force given, so submitting anyway."
        else
                pend "TESTS FAILED. Nothing has been submitted!"