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)