diff options
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 |