From 651b3704845bff116334993d2a4752d78d23a068 Mon Sep 17 00:00:00 2001 From: Jim Mussared Date: Mon, 4 Jul 2022 11:14:47 +1000 Subject: [PATCH] rp2/Makefile: Regenerate cmake if generated Makefile missing. `CMakeCache.txt` can exist even if cmake failed. Use `Makefile` instead. Signed-off-by: Jim Mussared --- ports/rp2/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ports/rp2/Makefile b/ports/rp2/Makefile index 87c1d650e0..6f8c621c2a 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: