From 6156e52bcfac721b23b2d9e66be2bd1542dfc552 Mon Sep 17 00:00:00 2001 From: George Hazan Date: Fri, 5 Oct 2018 14:09:00 +0300 Subject: check for empty profile name --- tools/build_scripts/fixme.cmd | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'tools/build_scripts/fixme.cmd') diff --git a/tools/build_scripts/fixme.cmd b/tools/build_scripts/fixme.cmd index 483d330485..82f7511e10 100644 --- a/tools/build_scripts/fixme.cmd +++ b/tools/build_scripts/fixme.cmd @@ -12,13 +12,16 @@ if "%1" == "" ( pushd "%ProfileDir%" for /D %%i in (*) do ( - if exist ".\%%i\%%i.dat" ( - set ProfileName=%%i - ) + if exist "%%i\%%i.dat" set ProfileName=%%i ) popd + if "%ProfileName%" == "" ( + echo No default profile found, exiting + goto :eof + ) + ) else ( if not exist "%ProfileDir%\%1\%1.dat" ( echo Wrong profile name specified: %1 -- cgit v1.2.3