diff options
Diffstat (limited to 'support/windows/scala_wrapper-footer.bat')
| -rw-r--r-- | support/windows/scala_wrapper-footer.bat | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/support/windows/scala_wrapper-footer.bat b/support/windows/scala_wrapper-footer.bat index b86b3ba7e9..aa55f68a22 100644 --- a/support/windows/scala_wrapper-footer.bat +++ b/support/windows/scala_wrapper-footer.bat @@ -1,6 +1,6 @@ if "%SCALA_HOME%" == "" goto error1 -if not exist "%SCALA_HOME%\VERSION-%VERSION%" goto error2 +if not exist "%SCALA_HOME%\share\doc\scala-%VERSION%\VERSION-%VERSION%" goto error2 set ARGS= @@ -23,4 +23,7 @@ echo ERROR: environment variable SCALA_HOME points to the wrong directory "%SCAL goto end :end +set VERSION= +set COMMAND= +if "%OS%"=="Windows_NT" @endlocal |