summaryrefslogtreecommitdiff
path: root/support/windows/scala_wrapper-header.bat
diff options
context:
space:
mode:
authormichelou <michelou@epfl.ch>2005-05-02 14:29:53 +0000
committermichelou <michelou@epfl.ch>2005-05-02 14:29:53 +0000
commite08284c96acf5843685b82aa293c6de0995ecf80 (patch)
treede45e8c263d036cd4b47f12550c6334077501119 /support/windows/scala_wrapper-header.bat
parent7febddefc647f313bb94ea69cd20ec6274accf72 (diff)
downloadscala-e08284c96acf5843685b82aa293c6de0995ecf80.tar.gz
scala-e08284c96acf5843685b82aa293c6de0995ecf80.tar.bz2
scala-e08284c96acf5843685b82aa293c6de0995ecf80.zip
*** empty log message ***
Diffstat (limited to 'support/windows/scala_wrapper-header.bat')
-rw-r--r--support/windows/scala_wrapper-header.bat8
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
+