From e2f15862255701f09132e004dcc22a5f92cf402c Mon Sep 17 00:00:00 2001 From: "Christoph M. Becker" Date: Sun, 26 Apr 2020 12:10:46 +0200 Subject: [PATCH] Add gen_stub.php to devel pack --- win32/build/Makefile | 1 + 1 file changed, 1 insertion(+) 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 -- 2.40.0