From eeae0a9e3902df12e85b6639c8d3356297957b59 Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Thu, 3 Dec 2015 10:28:27 +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 94dc490..c55d722 100644
--- a/Makefile.frag
+++ b/Makefile.frag
@@ -5,7 +5,7 @@ PHP_RAPHF_HEADERS := $(addprefix $(PHP_RAPHF_BUILDDIR)/,$(PHP_RAPHF_HEADERS))
 $(PHP_RAPHF_BUILDDIR)/%.h: $(PHP_RAPHF_SRCDIR)/src/%.h
 	@cat >$@ <$<
 
-all: raphf-build-headers
+$(all_targets): raphf-build-headers
 clean: raphf-clean-headers
 
 .PHONY: raphf-build-headers
-- 
2.30.2