X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-psi;a=blobdiff_plain;f=Makefile.frag;h=c7c7106ee0c1d5e5a6f4d10728b1391099447e7c;hp=f98715d0bdba1becda2eb871e744b5390595b12f;hb=5298e4d033b2d6ff41a81311ec52c9c9b2c82b22;hpb=c9b3436bd51a4dcf7d6cc6817d4c7a8ad99538d4

diff --git a/Makefile.frag b/Makefile.frag
index f98715d..c7c7106 100644
--- a/Makefile.frag
+++ b/Makefile.frag
@@ -3,6 +3,8 @@
 PHP_PSI_HEADERS := $(addprefix $(PHP_PSI_BUILDDIR)/,$(PHP_PSI_HEADERS))
 PHP_PSI_SOURCES := $(addprefix $(PHP_PSI_SRCDIR)/,$(PHP_PSI_SOURCES))
 
+$(PHP_PSI_BUILDDIR)/types/%.h: $(PHP_PSI_SRCDIR)/src/types/%.h
+	@cat >$@ <$<
 $(PHP_PSI_BUILDDIR)/%.h: $(PHP_PSI_SRCDIR)/src/%.h
 	@cat >$@ <$<