com web/rmtools: The discord script will now build against 7.3: bin/pecl_build_discord.bat

Commit: 04a8a111367827bcf9181f85f7974025896dea02 Author: Anatol Belski <ab@php.net> Thu, 2 Aug 2018 09:11:31 +0200 Parents: 4912bce282982f0d38e5b04bd1fe353ba493e050 Branches: master Link: http://git.php.net/?p=web/rmtools.git;a=commitdiff;h=04a8a111367827bcf9181f85f7974025896dea02 Log: The discord script will now build against 7.3 Changed paths: M bin/pecl_build_discord.bat Diff: diff --git a/bin/pecl_build_discord.bat b/bin/pecl_build_discord.bat index 0de5c01..fc1e776 100644 --- a/bin/pecl_build_discord.bat +++ b/bin/pecl_build_discord.bat @@ -43,8 +43,8 @@ rem call %BAT_DIR%pecl.bat --config=pecl55_x86 %* >> %LOG_FILE% 2<&1 rem call %BAT_DIR%pecl.bat --config=pecl54 %* >> %LOG_FILE% 2<&1 rem call %BAT_DIR%pecl.bat --config=pecl53 --last %* >> %LOG_FILE% 2<&1 rem -call "%PHP_RMTOOLS_PHP_SDK_ROOT_PATH%\phpsdk-starter.bat" -c vc15 -a x64 -t "%PHP_RMTOOLS_BIN_PATH%\pecl.bat" --task-args "--config=pecl72_x64 --first %*" >> "%LOG_FILE%" 2<&1 -call "%PHP_RMTOOLS_PHP_SDK_ROOT_PATH%\phpsdk-starter.bat" -c vc15 -a x86 -t "%PHP_RMTOOLS_BIN_PATH%\pecl.bat" --task-args "--config=pecl72_x86 --last %*" >> "%LOG_FILE%" 2<&1 +call "%PHP_RMTOOLS_PHP_SDK_ROOT_PATH%\phpsdk-starter.bat" -c vc15 -a x64 -t "%PHP_RMTOOLS_BIN_PATH%\pecl.bat" --task-args "--config=pecl73_x64 --first %*" >> "%LOG_FILE%" 2<&1 +call "%PHP_RMTOOLS_PHP_SDK_ROOT_PATH%\phpsdk-starter.bat" -c vc15 -a x86 -t "%PHP_RMTOOLS_BIN_PATH%\pecl.bat" --task-args "--config=pecl73_x86 --last %*" >> "%LOG_FILE%" 2<&1 echo Done.>> "%LOG_FILE%"