diff options
| -rw-r--r-- | tools/build_scripts/fixme.cmd | 9 |
1 files changed, 6 insertions, 3 deletions
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 |