com web/rmtools: give some more possibilities to get help: client/bin/pecl.bat

From: Date: Fri, 13 Sep 2013 17:43:26 +0000
Subject: com web/rmtools: give some more possibilities to get help: client/bin/pecl.bat
Groups: php.webmaster 
Request: Send a blank email to php-webmaster+get-16686@lists.php.net to get a copy of this message
Commit: 9644d43a89c2c23daead2850ef823d445c4ad6ff Author: Anatol Belski <ab@php.net> Fri, 13 Sep 2013 19:43:26 +0200 Parents: bdf1791834c3f2d55dd48a23f6afaa9bb5df8553 Branches: master Link: http://git.php.net/?p=web/rmtools.git;a=commitdiff;h=9644d43a89c2c23daead2850ef823d445c4ad6ff Log: give some more possibilities to get help Changed paths: M client/bin/pecl.bat Diff: diff --git a/client/bin/pecl.bat b/client/bin/pecl.bat index c7bb4d1..7c2cce7 100644 --- a/client/bin/pecl.bat +++ b/client/bin/pecl.bat @@ -17,15 +17,22 @@ set RMTOOLS_BASE_DIR=c:\php-sdk\rmtools-client set PECL_PHP_CMD=c:\php-sdk\php\php.exe -d extension_dir=c:\php-sdk\php\ext -d extension=php_openssl.dll -d extension=php_curl.dll -d date.timezone=UTC -if "%1"=="" ( - echo ========================================================== - echo This is the PECL build batch script. You can see the help - echo output of the underlaying worker below. Note that you have - echo to ommit the --config option when running this batch. - echo ========================================================== - %PECL_PHP_CMD% %BAT_DIR%\..\script\pecl.php - GOTO EXIT_LOCKED -) +if "%1"=="" goto :help +if "%1"=="--help" goto :help +if "%1"=="-h" goto :help +if "%1"=="/?" goto :help +goto :skip_help + +:help +echo ========================================================== +echo This is the PECL build batch script. You can see the help +echo output of the underlaying worker below. Note that you have +echo to ommit the --config option when running this batch. +echo ========================================================== +%PECL_PHP_CMD% %BAT_DIR%\..\script\pecl.php +GOTO EXIT_LOCKED + +:skip_help IF EXIST c:\php-sdk\locks\pecl.lock ( ECHO Snapshot script is already running.

« previous php.webmaster (#16686) next »