From 22c472cff569037c4b8ff87dbf8e8ae2b999a8d7 Mon Sep 17 00:00:00 2001 From: paltherr Date: Mon, 17 Mar 2003 15:30:09 +0000 Subject: - Added scala_wrapper-footer.bat and scala_wrap... - Added scala_wrapper-footer.bat and scala_wrapper-header.bat --- support/windows/scala_wrapper-footer.bat | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 support/windows/scala_wrapper-footer.bat (limited to 'support/windows/scala_wrapper-footer.bat') 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 + -- cgit v1.2.3