From 15d314127b8f0a41337be2ba2015f8f4edde2563 Mon Sep 17 00:00:00 2001 From: Quinn Date: Fri, 24 Jan 2025 20:03:46 +0100 Subject: [PATCH] allow for disabling creation of compile_commands.json --- makefile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/makefile b/makefile index 832854e..0bd135e 100644 --- a/makefile +++ b/makefile @@ -43,9 +43,13 @@ $(DIR): @mkdir -p $@ # update compile commands if the makefile has been updated (for linting) +ifeq ($(NO_CMDS),1) +compile_commands.json: makefile +else compile_commands.json: makefile @touch compile_commands.json $(MAKE) clean bear -- make +endif -include $(DEP)