diff options
author | Anatol Belski <ab@php.net> | 2017-07-28 02:34:51 +0200 |
---|---|---|
committer | Anatol Belski <ab@php.net> | 2017-07-28 07:26:11 +0200 |
commit | 80d839d25a64cb66db9356dd11e5d23e9457ee62 (patch) | |
tree | 66af98604c12da6082e7bd9fb768477cdbcb1ca5 /ext/phar/config.w32 | |
parent | 2ae0dd7f61c4bd35c7f9ea8245d1ea2949497534 (diff) | |
download | php-git-80d839d25a64cb66db9356dd11e5d23e9457ee62.tar.gz |
add missing makefile fragment for .w32
ensure correct dir
Diffstat (limited to 'ext/phar/config.w32')
-rw-r--r-- | ext/phar/config.w32 | 2 |
1 files changed, 2 insertions, 0 deletions
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(); } |