diff options
author | michelou <michelou@epfl.ch> | 2005-10-28 11:34:28 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2005-10-28 11:34:28 +0000 |
commit | 8398b563c757a2f74ce540b9bd03943666808954 (patch) | |
tree | 5dbbe0993231aa5bb12ebb356bd8c2b6193882f2 /bin | |
parent | 9f6d1325c7a4b529d41b5aaefc8a3d60101c093e (diff) | |
download | scala-8398b563c757a2f74ce540b9bd03943666808954.tar.gz scala-8398b563c757a2f74ce540b9bd03943666808954.tar.bz2 scala-8398b563c757a2f74ce540b9bd03943666808954.zip |
- added check for VERSION file.
Diffstat (limited to 'bin')
-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 |