From 34d3dcc87c6bea711f6cd86e5b96b7976dd01de8 Mon Sep 17 00:00:00 2001 From: Arthur Lu Date: Mon, 29 Apr 2024 15:32:12 -0700 Subject: [PATCH] fix make build type selection --- Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile b/Makefile index 87c8501..a4d125c 100644 --- a/Makefile +++ b/Makefile @@ -11,6 +11,7 @@ build: @ $(MAKE) -C build/ release: + @ rm -rf build/* @ cmake \ --no-warn-unused-cli \ -DCMAKE_BUILD_TYPE:STRING=Release \ @@ -21,6 +22,7 @@ release: -B build debug: + @ rm -rf build/* @ cmake \ --no-warn-unused-cli \ -DCMAKE_BUILD_TYPE:STRING=Debug \