diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2021-07-21 07:20:38 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2021-07-21 07:20:38 +0200 |
| commit | c354d340978d986586c1a314973a37cd801160db (patch) | |
| tree | 4f0a5dc2a6c5bdf87970c4dd4dfeef05cd876c0e /etc/environments/default-mingw.bat | |
| parent | 9652da22233d36d38a58ecedf12cb148824a1042 (diff) | |
Run command prompt from environment batch files if no bbot specified
Diffstat (limited to 'etc/environments/default-mingw.bat')
| -rw-r--r-- | etc/environments/default-mingw.bat | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/etc/environments/default-mingw.bat b/etc/environments/default-mingw.bat index 29861a5..9adee8f 100644 --- a/etc/environments/default-mingw.bat +++ b/etc/environments/default-mingw.bat @@ -14,7 +14,7 @@ set "CXX=g++" set "MINGW=C:\build2\bin" rem %1 - target -rem %2 - bbot executable +rem %2 - bbot executable (if absent, then run %COMSPEC%) rem %3+ - bbot options setlocal EnableExtensions EnableDelayedExpansion @@ -35,8 +35,14 @@ if "_%1_" == "_x86_64-w64-mingw32_" ( ) ) -%2 %3 %4 %5 %6 %7 %8 %9 cc "config.c=%C% %MODE%" "config.cxx=%CXX% %MODE%" -if errorlevel 1 goto error +if not "_%2_" == "__" ( + %2 %3 %4 %5 %6 %7 %8 %9 cc "config.c=%C% %MODE%" "config.cxx=%CXX% %MODE%" + if errorlevel 1 goto error +) else ( + echo config.c=%C% %MODE% + echo config.cxx=%CXX% %MODE% + %COMSPEC% +) goto end |