diff options
| -rwxr-xr-x | src/statistics/test_gnunet_statistics.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/statistics/test_gnunet_statistics.sh b/src/statistics/test_gnunet_statistics.sh index 55190502a8..f11fc62b1e 100755 --- a/src/statistics/test_gnunet_statistics.sh +++ b/src/statistics/test_gnunet_statistics.sh @@ -172,6 +172,7 @@ fi LINES=`cat $out | grep 40 | wc -l` if test $LINES -ne 0; then echo "FAIL: unexpected output" + cat $out $arm -e exit 1 fi |