diff options
| author | michelou <michelou@epfl.ch> | 2005-10-07 09:30:46 +0000 |
|---|---|---|
| committer | michelou <michelou@epfl.ch> | 2005-10-07 09:30:46 +0000 |
| commit | ce8279816d2f1cae4b835a40d301a0ea5edc5e82 (patch) | |
| tree | 7b565be70249137f3bc31d4a3c1636a5bedf9a08 | |
| parent | 32cabb1c30d55354847bb92bdaa41a7ff2763679 (diff) | |
| download | scala-ce8279816d2f1cae4b835a40d301a0ea5edc5e82.tar.gz scala-ce8279816d2f1cae4b835a40d301a0ea5edc5e82.tar.bz2 scala-ce8279816d2f1cae4b835a40d301a0ea5edc5e82.zip | |
- added user name to the created 'env.*' files.
| -rw-r--r-- | setenv-nsc.xml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/setenv-nsc.xml b/setenv-nsc.xml index a22471fbd2..48cac77735 100644 --- a/setenv-nsc.xml +++ b/setenv-nsc.xml @@ -6,12 +6,12 @@ <property file="build-nsc.properties.${platform}" prefix="nsc." /> - <echoproperties prefix="nsc." format="xml" destfile="/tmp/env.xml" /> + <echoproperties prefix="nsc." format="xml" destfile="/tmp/env_${user.name}.xml" /> <!-- generate "env.sh" (Unix) --> - <xslt in="/tmp/env.xml" out="/tmp/env.sh" style="setenv-sh.xsl" /> - <copy file="/tmp/env.sh" tofile="env.sh"> + <xslt in="/tmp/env_${user.name}.xml" out="/tmp/env_${user.name}.sh" style="setenv-sh.xsl" /> + <copy file="/tmp/env_${user.name}.sh" tofile="env.sh"> <filterchain> <tokenfilter> <ignoreblank /> @@ -21,8 +21,8 @@ <!-- generate "env.bat" (Windows) --> - <xslt in="/tmp/env.xml" out="/tmp/env.bat" style="setenv-bat.xsl" /> - <copy file="/tmp/env.bat" tofile="env.bat"> + <xslt in="/tmp/env_${user.name}.xml" out="/tmp/env_${user.name}.bat" style="setenv-bat.xsl" /> + <copy file="/tmp/env_${user.name}.bat" tofile="env.bat"> <filterchain> <tokenfilter> <ignoreblank /> |