diff options
author | paltherr <paltherr@epfl.ch> | 2003-03-17 15:30:09 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-03-17 15:30:09 +0000 |
commit | 22c472cff569037c4b8ff87dbf8e8ae2b999a8d7 (patch) | |
tree | 0bb6d29ff177451342eb3ab9a58a8f0451f9af80 /support/windows | |
parent | 78b2ff42fc7af289b4cf0e4273c95ef014bde8a8 (diff) | |
download | scala-22c472cff569037c4b8ff87dbf8e8ae2b999a8d7.tar.gz scala-22c472cff569037c4b8ff87dbf8e8ae2b999a8d7.tar.bz2 scala-22c472cff569037c4b8ff87dbf8e8ae2b999a8d7.zip |
- Added scala_wrapper-footer.bat and scala_wrap...
- Added scala_wrapper-footer.bat and scala_wrapper-header.bat
Diffstat (limited to 'support/windows')
-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 + |