diff options
author | Viktor Hofer <viktor.hofer@microsoft.com> | 2020-09-24 15:27:24 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-24 15:27:24 +0300 |
commit | ae6744a5a851f07d6ae76222529aae38447c832a (patch) | |
tree | ae9f7e8c8870500d13dce8fa8cb1ad4a2bd7cef2 /build.cmd | |
parent | 7c3d2384f39e383fb48f681dd97b3d0e124899a3 (diff) |
Print help for -? and /? cross-plat (#42396)
* Print help for -? and /? cross-plat
Diffstat (limited to 'build.cmd')
-rw-r--r-- | build.cmd | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build.cmd b/build.cmd index 76f4d841894..fd4aba34c4c 100644 --- a/build.cmd +++ b/build.cmd @@ -3,6 +3,7 @@ setlocal set _args=%* if "%~1"=="-?" set _args=-help +if "%~1"=="/?" set _args=-help powershell -ExecutionPolicy ByPass -NoProfile -Command "& '%~dp0eng\build.ps1'" %_args% exit /b %ERRORLEVEL% |