diff --git a/basice2e/run.sh b/basice2e/run.sh
index 7876e96d18616b6a3ce819daad305b903ec45323..40ee5a97c0c5b20bdb08beb32725b7362647b30a 100755
--- a/basice2e/run.sh
+++ b/basice2e/run.sh
@@ -88,7 +88,7 @@ runclients
 
 
 diff -ruN clients.goldoutput $CLIENTOUT
-cat $SERVERLOGS/*.log | grep "ERROR" > results/server-errors.txt
+cat $SERVERLOGS/*.log | grep "ERROR" > results/server-errors.txt || true
 diff -ruN results/server-errors.txt noerrors.txt
 
 echo "SUCCESS!"