diff options
| -rw-r--r-- | ports/rp2/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/rp2/Makefile b/ports/rp2/Makefile index 87c1d650e..6f8c621c2 100644 --- a/ports/rp2/Makefile +++ b/ports/rp2/Makefile @@ -23,7 +23,7 @@ CMAKE_ARGS += -DCMAKE_BUILD_TYPE=Debug endif all: - [ -e $(BUILD)/CMakeCache.txt ] || cmake -S . -B $(BUILD) -DPICO_BUILD_DOCS=0 ${CMAKE_ARGS} + [ -e $(BUILD)/Makefile ] || cmake -S . -B $(BUILD) -DPICO_BUILD_DOCS=0 ${CMAKE_ARGS} $(MAKE) $(MAKESILENT) -C $(BUILD) clean: |