[config.w32] Warn that propro was discontinued

[m6w6/ext-propro] / Makefile.frag

diff --git a/Makefile.frag b/Makefile.frag
index 292b0d4cfcc9526f60e068accf3b57a28cd3904e..383c059fd487fe46f4edd94d71c1bf24403a108f 100644 (file)
--- a/Makefile.frag
+++ b/Makefile.frag
@@ -5,7 +5,7 @@ PHP_PROPRO_HEADERS := $(addprefix $(PHP_PROPRO_BUILDDIR)/,$(PHP_PROPRO_HEADERS))
 $(PHP_PROPRO_BUILDDIR)/%.h: $(PHP_PROPRO_SRCDIR)/src/%.h
        @cat >$@ <$<
 
-all: propro-build-headers
+$(all_targets): propro-build-headers
 clean: propro-clean-headers
 
 .PHONY: propro-build-headers