|
@@ -45,6 +45,8 @@ n=$BOOTSTRAP_TIME; while [ $n -gt 0 ]; do
|
|
sleep 1; n=$(expr $n - 1); echo -n .
|
|
sleep 1; n=$(expr $n - 1); echo -n .
|
|
done; echo ""
|
|
done; echo ""
|
|
./chutney verify $CHUTNEY_NETWORK
|
|
./chutney verify $CHUTNEY_NETWORK
|
|
|
|
+VERIFY_EXIT_STATUS=$?
|
|
# work around a bug/feature in make -j2 (or more)
|
|
# work around a bug/feature in make -j2 (or more)
|
|
# where make hangs if any child processes are still alive
|
|
# where make hangs if any child processes are still alive
|
|
./chutney stop $CHUTNEY_NETWORK
|
|
./chutney stop $CHUTNEY_NETWORK
|
|
|
|
+exit $VERIFY_EXIT_STATUS
|