Add gen_stub.php to devel pack

diff --git a/win32/build/Makefile b/win32/build/Makefile
index d0315f41c4be659ac22185663d334c7c30d62c64..a5a4259d1712868199ad1e5550cef9d6d4531ef2 100644 (file)
--- 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