]> mj.ucw.cz Git - moe.git/blobdiff - bin/ev
Added a switch for allowing timing syscalls.
[moe.git] / bin / ev
diff --git a/bin/ev b/bin/ev
index 018f2370da93834ee26c209e4c250ec8235649d3..ad44b496594e950b071c9010a2df321322ac0e62 100755 (executable)
--- a/bin/ev
+++ b/bin/ev
@@ -11,13 +11,14 @@ fi
 . config
 
 # Set up environment:
 . config
 
 # Set up environment:
+#   HDIR       home dir of the evaluator
 #   PDIR       problem specific data
 #   SDIR       contestant's solution
 #   TDIR       test results
 #   BOXDIR     sandbox
 #   PROBLEM    problem we're evaluating
 
 #   PDIR       problem specific data
 #   SDIR       contestant's solution
 #   TDIR       test results
 #   BOXDIR     sandbox
 #   PROBLEM    problem we're evaluating
 
-[ -n "$2" ] || die "Usage: ev <contestant> <problem>"
+[ -n "$2" ] || die "Usage: ev <contestant> <problem> [<program>]"
 CONTESTANT=$1
 PROBLEM=$2
 dir-init
 CONTESTANT=$1
 PROBLEM=$2
 dir-init
@@ -26,7 +27,7 @@ log-init
 box-init
 
 # Compile the program
 box-init
 
 # Compile the program
-locate-source
+locate-source $3
 compile
 
 # Perform the tests
 compile
 
 # Perform the tests