1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index a9f9b689f0..2777284b0f 100644
--- a/Makefile
+++ b/Makefile
@@ -2925,6 +2925,7 @@ hdr-check: $(HCO)
 style:
 	git clang-format --style file --diff --extensions c,h
 
+.PHONY: check
 check: config-list.h command-list.h
 	@if sparse; \
 	then \