Try to exit 0 if nothing fails.

1 files changed, 8 insertions, 2 deletions

diff --git a/runtests.sh b/runtests.sh
index ff67838f..1e11f6b0 100755
--- a/runtests.sh
+++ b/runtests.sh
@@ -203,6 +203,12 @@ echo "      $passed passed"
 [ "$missing" -gt 0 ] && echo "      $missing missing"
 echo '------------------------------------------------------------'
 
-result=`expr $failed + $missing`
-echo "(overall result is $result)"
+# OK, so expr exits with 0 if the result is neither null nor zero; and
+# 1 if the expression is null or zero.  This is the opposite of what
+# we want, and if we just call expr then this script will always fail,
+# because -e is set.
+
+set -x
+result=`expr $failed + $missing || true`
+echo "overall result is $result"
 exit $result