From d2e7c12692ba91f1d7ab48ee6f129e2c4f79ce72 Mon Sep 17 00:00:00 2001
From: Peter Kokot <peterkokot@gmail.com>
Date: Tue, 12 Mar 2019 01:33:41 +0100
Subject: [PATCH] Fix #63362: Not needed but installed headers

Windows headers are not needed on *nix systems and can be cleaned after
the installation.
---
 Makefile.global | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/Makefile.global b/Makefile.global
index 377cae179fd59..16a496e87b9dd 100644
--- a/Makefile.global
+++ b/Makefile.global
@@ -46,6 +46,13 @@ install-modules: build-modules
 	@rm -f modules/*.la >/dev/null 2>&1
 	@$(INSTALL) modules/* $(INSTALL_ROOT)$(EXTENSION_DIR)
 
+WIN_HEADERS = \
+	TSRM/tsrm_win32.h \
+	TSRM/tsrm_config.w32.h \
+	Zend/zend_config.w32.h \
+	ext/mysqlnd/config-win.h \
+	ext/standard/winver.h
+
 install-headers:
 	-@if test "$(INSTALL_HEADERS)"; then \
 		for i in `echo $(INSTALL_HEADERS)`; do \
@@ -69,6 +76,11 @@ install-headers:
 				cd $(top_builddir)/$$src && $(INSTALL_DATA) *.h $(INSTALL_ROOT)$(phpincludedir)/$$i) 2>/dev/null || true; \
 			fi \
 		done; \
+		for i in `echo $(WIN_HEADERS)`; do \
+			if test -f "$(INSTALL_ROOT)$(phpincludedir)/$$i"; then \
+				rm -f $(INSTALL_ROOT)$(phpincludedir)/$$i; \
+			fi; \
+		done; \
 	fi
 
 PHP_TEST_SETTINGS = -d 'open_basedir=' -d 'output_buffering=0' -d 'memory_limit=-1'