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 b4c14cd6cd..79e15495b5 100755 --- a/src/statistics/test_gnunet_statistics.sh +++ b/src/statistics/test_gnunet_statistics.sh @@ -122,6 +122,7 @@ fi LINES=`cat $out | grep 40 | wc -l` if test $LINES -ne 1; then echo "FAIL: unexpected output" + cat $out $arm -e exit 1 fi |