From 0f30d637345574171e88a3a192a7168a03d14fbb Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Thu, 3 Jul 2003 09:03:57 +0000
Subject: [PATCH] Accept tests with empty output.

---
 bin/lib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/lib b/bin/lib
index 9adf0dd..537bf58 100644
--- 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."
-- 
2.39.2