diff --git a/linuxkm/Makefile b/linuxkm/Makefile index 7ee80c8e8..c59830a7d 100644 --- a/linuxkm/Makefile +++ b/linuxkm/Makefile @@ -112,6 +112,9 @@ clean: .PHONY: check check: +.PHONY: distclean +distclean: clean + .PHONY: dist dist: