diff options
Diffstat (limited to 'support/windows/scala_wrapper-header.bat')
| -rw-r--r-- | support/windows/scala_wrapper-header.bat | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/support/windows/scala_wrapper-header.bat b/support/windows/scala_wrapper-header.bat index 5388813200..7166bb4006 100644 --- a/support/windows/scala_wrapper-header.bat +++ b/support/windows/scala_wrapper-header.bat @@ -1,2 +1,10 @@ @echo off +rem Copyright (C) 2002-2005 LAMP/EPFL +rem +rem This is free software; see the distribution for copying conditions. +rem There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A +rem PARTICULAR PURPOSE. + +if "%OS%"=="Windows_NT" @setlocal + |