There was an error while loading. Please reload this page.
1 parent c8037f2 commit 899841aCopy full SHA for 899841a
1 file changed
Makefile
@@ -156,7 +156,7 @@ install-kernel:
156
MONITOR_PID=$$!; \
157
echo "Monitor running with PID $$MONITOR_PID"; \
158
fi; \
159
- bin/container --debug system start --timeout 60 --enable-kernel-install $(SYSTEM_START_OPTS)
+ timeout 60 bin/container --debug system start --timeout 60 --enable-kernel-install $(SYSTEM_START_OPTS)
160
161
.PHONY: coverage
162
coverage: init-block
0 commit comments