From 80d839d25a64cb66db9356dd11e5d23e9457ee62 Mon Sep 17 00:00:00 2001
From: Anatol Belski <ab@php.net>
Date: Fri, 28 Jul 2017 02:34:51 +0200
Subject: [PATCH] add missing makefile fragment for .w32

ensure correct dir
---
 ext/phar/Makefile.frag.w32 | 5 +++++
 ext/phar/config.w32        | 2 ++
 2 files changed, 7 insertions(+)
 create mode 100644 ext/phar/Makefile.frag.w32

diff --git a/ext/phar/Makefile.frag.w32 b/ext/phar/Makefile.frag.w32
new file mode 100644
index 0000000000..1ff82826df
--- /dev/null
+++ b/ext/phar/Makefile.frag.w32
@@ -0,0 +1,5 @@
+
+ext/phar/phar_path_check.c: ext/phar/phar_path_check.re
+	cd $(PHP_SRC_DIR)
+	$(RE2C) --no-generation-date -b -o ext/phar/phar_path_check.c ext/phar/phar_path_check.re
+
diff --git a/ext/phar/config.w32 b/ext/phar/config.w32
index 6dba20affb..d4f8585c20 100644
--- a/ext/phar/config.w32
+++ b/ext/phar/config.w32
@@ -43,4 +43,6 @@ if (PHP_PHAR != "no") {
 		}
 	}
 	ADD_EXTENSION_DEP('phar', 'spl', true);
+
+	ADD_MAKEFILE_FRAGMENT();
 }
-- 
2.50.1