diff --git a/Makefile b/Makefile index 9c795c86..5dff4944 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,6 @@ .POSIX: -default: metal bootstrap +default: metal bootstrap wait all: default external @@ -16,6 +16,9 @@ bootstrap: external: make -C external +wait: + ./scripts/wait-main-apps + .PHONY: tools tools: make -C tools