diff options
Diffstat (limited to 'bin/.nsc_bat.tmpl')
| -rw-r--r-- | bin/.nsc_bat.tmpl | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/bin/.nsc_bat.tmpl b/bin/.nsc_bat.tmpl index 6482103b97..5006ac5ec1 100644 --- a/bin/.nsc_bat.tmpl +++ b/bin/.nsc_bat.tmpl @@ -11,6 +11,7 @@ rem ########################################################################## if "%OS%"=="Windows_NT" @setlocal if "%SCALA_HOME%" == "" goto error1 +if not exist "%SCALA_HOME%\VERSION-@VERSION@" goto error2 set _ARGS= :loop @@ -33,7 +34,11 @@ rem ########################################################################## rem # errors :error1 -echo ERROR: environment variable SCALA_HOME is undefined. It should point to the directory containing the file VERSION. +echo ERROR: environment variable SCALA_HOME is undefined. It should point to the directory containing the file "VERSION-@VERSION@". +goto end + +:error2 +echo ERROR: environment variable SCALA_HOME points to the wrong directory "%SCALA_HOME%". It should point to the directory containing the file "VERSION-@VERSION@". goto end :end |