diff options
| author | michelou <michelou@epfl.ch> | 2005-10-11 13:40:10 +0000 |
|---|---|---|
| committer | michelou <michelou@epfl.ch> | 2005-10-11 13:40:10 +0000 |
| commit | e4ce6b57c2d6261b06607ac17ef2df56f802a6ae (patch) | |
| tree | ec860da09d173824fc88fbb2eea445c676fdba6e /config/build.default.properties | |
| parent | 1a3ba334d704f73811ba0ac393f05f56154558a1 (diff) | |
| download | scala-e4ce6b57c2d6261b06607ac17ef2df56f802a6ae.tar.gz scala-e4ce6b57c2d6261b06607ac17ef2df56f802a6ae.tar.bz2 scala-e4ce6b57c2d6261b06607ac17ef2df56f802a6ae.zip | |
- added 'support.dir'.
Diffstat (limited to 'config/build.default.properties')
| -rw-r--r-- | config/build.default.properties | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/config/build.default.properties b/config/build.default.properties index cfce6c53d1..db3773f947 100644 --- a/config/build.default.properties +++ b/config/build.default.properties @@ -23,6 +23,7 @@ ant.jar=${ant.home}/lib/ant.jar sources.dir=${basedir}/sources newsources.dir=${basedir}/newsources +support.dir=${basedir}/support build.dir=${basedir}/build build.nslib.dir=${build.dir}/nslib @@ -35,4 +36,4 @@ distrib.current.prefix=nscala distrib.nslib.jar=nslib.jar distrib.nstools.jar=nstools.jar -distrib.osc-nstools.jar=osc-nstools.jar
\ No newline at end of file +distrib.osc-nstools.jar=osc-nstools.jar |