Implemented general mechanism for overriding variables for specific

[eval.git] / public / compile

diff --git a/public/compile b/public/compile
old mode 100644 (file)
new mode 100755 (executable)
index b10ae9d..f96528f
--- a/public/compile
+++ b/public/compile
@@ -17,7 +17,7 @@ if [ "${1%%.*}" == "$1" ] ; then
                mv $TDIR/$PROBLEM .
        else
                echo >&2
-               sed <log >&2 '1,/^Compiler output:/d;/^Compiler output files:/,$d;/^Exited /d'
+               sed <check-log >&2 '1,/^Compiler output:/d;/^Compiler output files:/,$d;/^Exited /d'
        fi
 else
        SRC=$1