Accept tests with empty output.

diff --git a/bin/lib b/bin/lib
index 9adf0dde422d73500e11351b6ed4470efca2414a..537bf58764c8d81ed514e65bf49d1c71b3967c97 100644 (file)
--- a/bin/lib
+++ b/bin/lib
@@ -197,7 +197,7 @@ 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."