Add documentation for gruntmaster-problem check

[gruntmaster-data.git] / gruntmaster-problem

diff --git a/gruntmaster-problem b/gruntmaster-problem
index f6d86dc8ac5db491059cd3c64dc57ecfa2ddb188..816f919917e42a3c9c1a1cca412928d85963c672 100755 (executable)
--- a/gruntmaster-problem
+++ b/gruntmaster-problem
@@ -166,10 +166,10 @@ sub cmd_check {
                }
        }
 
-       say 'Max time for AC: ' . max @good_times;
-       say 'Min time for TLE: ' . min @fail_times;
+       say 'Max time for AC: ' . max @good_times if @good_times;
+       say 'Min time for TLE: ' . min @fail_times if @fail_times;
        say $fail ? 'Test failed' : 'Test successful';
-       exit $fail;
+       exit $fail if $fail;
 }
 
 ##################################################
@@ -197,6 +197,7 @@ gruntmaster-problem - shell interface to Gruntmaster 6000 problems
   gruntmaster-problem set [--file] problem_id key value
   gruntmaster-problem get problem_id key
   gruntmaster-problem edit problem_id key
+  gruntmaster-problem check problem_id
 
 =head1 DESCRIPTION
 
@@ -236,6 +237,10 @@ Opens an editor with the value of the I<key> configuration option. After the edi
 
 Sets the I<key> configuration option of problem I<id> to the contents of the file I<file>.
 
+=item B<check> I<id>
+
+Rerun all reference jobs for problem I<id> and check their results.
+
 =back
 
 =head1 AUTHOR