.PHONY:

diff --git a/src/include/all.mk b/src/include/all.mk
index 86d3c5ff86b3adc853b35c3abf09e187280ffaba..0bf46fa1bbe416d5d284815c5971dc11e45796d3 100644 (file)
--- a/src/include/all.mk
+++ b/src/include/all.mk
@@ -67,7 +67,7 @@ ${SRC_INCLUDE_DIR}/%.h: ${top_srcdir}/src/include/%.h
 #
 #  Cleaning
 #
-.PHONY clean.src.include distclean.src.include
+.PHONY: clean.src.include distclean.src.include
 clean.src.include:
        @rm -f $(HEADERS_DY)