diff options
| author | George Hazan <ghazan@miranda.im> | 2018-10-05 14:09:00 +0300 |
|---|---|---|
| committer | George Hazan <ghazan@miranda.im> | 2018-10-05 14:09:00 +0300 |
| commit | 6156e52bcfac721b23b2d9e66be2bd1542dfc552 (patch) | |
| tree | fcd22c7c15e1b0e10dda864a7ac7886e6c5796ab /tools/build_scripts/fixme.cmd | |
| parent | 43f94f0ce815afc1533a992d2df24bfb78e79a93 (diff) | |
check for empty profile name
Diffstat (limited to 'tools/build_scripts/fixme.cmd')
| -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 |