mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-07-04 23:55:26 +02:00
Support /? for daemon.bat and server.bat
This commit is contained in:
parent
0f52e211a0
commit
200fec2980
2 changed files with 4 additions and 2 deletions
|
@ -9,6 +9,7 @@ IF NOT "%1"=="" SET DaemonPort=%1
|
|||
IF NOT "%2"=="" SET ServerPortRange=%2
|
||||
|
||||
if "%1" == "?" goto usage
|
||||
if "%1" == "/?" goto usage
|
||||
if "%1" == "/h" goto usage
|
||||
if "%1" == "help" goto usage
|
||||
if "%1" == "/help" goto usage
|
||||
|
|
|
@ -9,13 +9,14 @@ setlocal
|
|||
set PORT=%1
|
||||
set TIMEOUT=%2
|
||||
set TICKET=%3
|
||||
if xxx%1 == xxx set PORT=4033
|
||||
if xxx%2 == xxx set TIMEOUT=120000
|
||||
|
||||
if "%1" == "?" goto usage
|
||||
if "%1" == "/?" goto usage
|
||||
if "%1" == "/h" goto usage
|
||||
if "%1" == "help" goto usage
|
||||
if "%1" == "/help" goto usage
|
||||
if xxx%1 == xxx set PORT=4033
|
||||
if xxx%2 == xxx set TIMEOUT=120000
|
||||
|
||||
IF NOT "%A_PLUGIN_PATH%"=="" GOTO doneSetup
|
||||
IF EXIST setup.bat GOTO HaveSetup
|
||||
|
|
Loading…
Add table
Reference in a new issue