1 # The Evaluator -- Public Compilation Script
2 # (c) 2001 Martin Mares <mj@ucw.cz>
5 [ -n "$MO_PUBLIC" -a -d "$MO_PUBLIC" ] || { echo >&2 "MO_PUBLIC not set, giving up." ; exit 1 ; }
9 [ -n "$1" ] || die "Usage: compile <problem>"
18 sed <log >&2 '1,/^Compiler output:/d;/^Compiler output files:/,$d;/^Exited /d'