diff options
| author | Christoph M. Becker <cmbecker69@gmx.de> | 2020-04-26 12:10:46 +0200 |
|---|---|---|
| committer | Christoph M. Becker <cmbecker69@gmx.de> | 2020-04-26 12:33:33 +0200 |
| commit | e2f15862255701f09132e004dcc22a5f92cf402c (patch) | |
| tree | cff975d4c46b49bee694e79d3e16eed1b264e67d /win32/build | |
| parent | 33c3691c332f9f084a04cba6d775b5876da1fec3 (diff) | |
| download | php-git-e2f15862255701f09132e004dcc22a5f92cf402c.tar.gz | |
Add gen_stub.php to devel pack
Diffstat (limited to 'win32/build')
| -rw-r--r-- | win32/build/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/win32/build/Makefile b/win32/build/Makefile index d0315f41c4..a5a4259d17 100644 --- a/win32/build/Makefile +++ b/win32/build/Makefile @@ -237,6 +237,7 @@ build-devel: build-headers build-lib @if not exist $(BUILD_DIR_DEV)\script mkdir $(BUILD_DIR_DEV)\script >nul @if not exist $(BUILD_DIR_DEV)\build mkdir $(BUILD_DIR_DEV)\build >nul @copy run-tests.php $(BUILD_DIR_DEV)\script\ /y >nul + @copy build\gen_stub.php $(BUILD_DIR_DEV)\build\ /y >nul @copy win32\build\confutils.js $(BUILD_DIR_DEV)\script\ /y >nul @copy win32\build\configure.tail $(BUILD_DIR_DEV)\script\ /y >nul @copy win32\build\config.w32.phpize.in $(BUILD_DIR_DEV)\script\ /y >nul |