diff options
| -rw-r--r-- | support/windows/scala_wrapper-footer.bat | 26 | ||||
| -rw-r--r-- | support/windows/scala_wrapper-header.bat | 2 |
2 files changed, 28 insertions, 0 deletions
diff --git a/support/windows/scala_wrapper-footer.bat b/support/windows/scala_wrapper-footer.bat new file mode 100644 index 0000000000..b08d88700b --- /dev/null +++ b/support/windows/scala_wrapper-footer.bat @@ -0,0 +1,26 @@ + +if '%SCALA_HOME%' == '' goto error1 +if not exist %SCALA_HOME%\VERSION-%VERSION% goto error2 + +set ARGS= + +:loop +if '%1' == '' goto exec +set ARGS=%ARGS% %1 +shift +goto loop + +:exec +%COMMAND% %ARGS% +goto end + +:error1 +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 + diff --git a/support/windows/scala_wrapper-header.bat b/support/windows/scala_wrapper-header.bat new file mode 100644 index 0000000000..5388813200 --- /dev/null +++ b/support/windows/scala_wrapper-header.bat @@ -0,0 +1,2 @@ +@echo off + |