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