diff options
Diffstat (limited to 'src/test/test-network.sh')
| -rwxr-xr-x | src/test/test-network.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/test/test-network.sh b/src/test/test-network.sh index 7b59864166..fb33842f32 100755 --- a/src/test/test-network.sh +++ b/src/test/test-network.sh @@ -45,3 +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 |