diff options
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 |