diff options
author | Anatol Belski <ab@php.net> | 2014-07-02 11:35:42 +0200 |
---|---|---|
committer | Anatol Belski <ab@php.net> | 2014-07-02 11:35:42 +0200 |
commit | 131e60ce569631b5b7c61b8392f545dde936df3e (patch) | |
tree | 45bf16fe29a69752c31503711e940f84fb8aef00 /win32 | |
parent | 49e175be422191c114f3d9a18f0e3b9c5927452e (diff) | |
parent | 5efda71e54e11c91d567e14bbc00d299c5e8764c (diff) | |
download | php-git-131e60ce569631b5b7c61b8392f545dde936df3e.tar.gz |
Merge branch 'PHP-5.4' into PHP-5.5
Diffstat (limited to 'win32')
-rw-r--r-- | win32/build/mkdist.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/win32/build/mkdist.php b/win32/build/mkdist.php index 23d26c9c53..640e9b3bd7 100644 --- a/win32/build/mkdist.php +++ b/win32/build/mkdist.php @@ -246,7 +246,8 @@ foreach ($text_files as $src => $dest) { /* general other files */ $general_files = array( - "php.gif" => "php.gif", + "php.gif" => "php.gif", + "$GLOBALS[build_dir]\\deplister.exe" => "deplister.exe", ); foreach ($general_files as $src => $dest) { |