diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/test/test-network.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/test/test-network.sh b/src/test/test-network.sh index d7fdb3533b..fb33842f32 100755 --- a/src/test/test-network.sh +++ b/src/test/test-network.sh @@ -45,6 +45,8 @@ n=$BOOTSTRAP_TIME; while [ $n -gt 0 ]; do sleep 1; n=$(expr $n - 1); echo -n . done; echo "" ./chutney verify $CHUTNEY_NETWORK +VERIFY_EXIT_STATUS=$? # work around a bug/feature in make -j2 (or more) # where make hangs if any child processes are still alive ./chutney stop $CHUTNEY_NETWORK +exit $VERIFY_EXIT_STATUS |