From c354d340978d986586c1a314973a37cd801160db Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Wed, 21 Jul 2021 07:20:38 +0200 Subject: Run command prompt from environment batch files if no bbot specified --- etc/environments/default-mingw.bat | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) (limited to 'etc/environments/default-mingw.bat') 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 -- cgit v1.1