Replaced FREE_PASCAL_RTE by a generic EXIT_CODE_HOOK.

[moe.git] / public / compile

diff --git a/public/compile b/public/compile
index b10ae9daefd62cc819f8ca846a5b2edcac3c54a5..f96528f2a5bcb1eb813e9e233c4330b96017417f 100755 (executable)
--- 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