Added.

[moe.git] / bin / lib

diff --git a/bin/lib b/bin/lib
index cb9f910c5aa993dcc7c18d3539b56ef4fe0483ca..537bf58764c8d81ed514e65bf49d1c71b3967c97 100644 (file)
--- a/bin/lib
+++ b/bin/lib
@@ -190,9 +190,14 @@ function test-run-file
        fi
        cat $TDIR/exec.out
        rm $TDIR/exec.out
+       test-fetch-output || return 1
+}
+
+function test-fetch-output
+{
        echo "Output files:"
        ls -Al $BOXDIR
-       if [ ! -s $BOXDIR/$PROBLEM.out ] ; then
+       if [ ! -f $BOXDIR/$PROBLEM.out ] ; then
                pend "No output file."
                echo "No output file."
                echo >>$PTSFILE "0 No output."
@@ -234,6 +239,7 @@ function test-run-interactive
        fi
        cat $TDIR/exec.out
        rm $TDIR/exec.out
+       [ -z "$OUTPUT_CHECK" ] || test-fetch-output || return 1
 }
 
 # Syntax checks