From b93ff4841c117f7bdfc791a0bc692f3b0056a861 Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Thu, 3 Dec 2015 10:27:59 +0100
Subject: [PATCH] fix header target

---
 Makefile.frag | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.frag b/Makefile.frag
index 292b0d4..383c059 100644
--- 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
-- 
2.30.2