diff --git a/Makefile b/Makefile index c5ce55cbc543c9c676580381f2a1cf727e8e7cd7..5b26847909ec6e434dd683eb91a28a81a055fb19 100644 --- a/Makefile +++ b/Makefile @@ -1717,6 +1717,6 @@ endif # skip-makefile PHONY += FORCE FORCE: -# Declare the contents of the .PHONY variable as phony. We keep that +# Declare the contents of the PHONY variable as phony. We keep that # information in a variable so we can use it in if_changed and friends. .PHONY: $(PHONY)