X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-psi;a=blobdiff_plain;f=Makefile.frag;h=ff6460b7d4d85e27f0790ea46691bc3f10d25f60;hp=d192749f055844e19afee4154f5af134d02b504f;hb=ff0048963fcbcddc9de14a3e1c370fcc81d12af7;hpb=9c6a90318dc5e20b73820d7c2bb8eb3b30888cb3

diff --git a/Makefile.frag b/Makefile.frag
index d192749..ff6460b 100644
--- a/Makefile.frag
+++ b/Makefile.frag
@@ -19,7 +19,6 @@ psi-build-headers: $(PHP_PSI_HEADERS)
 .PHONY: psi-clean-headers
 psi-clean-headers:
 	-rm -f $(PHP_PSI_HEADERS)
-	-rmdir $(PHP_PSI_BUILDDIR)/types
 
 .PHONY: psi-clean-sources
 psi-clean-sources: