diff options
author | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2005-10-12 13:22:28 +0000 |
---|---|---|
committer | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2005-10-12 13:22:28 +0000 |
commit | 6f66105f7d8eef7008f3fb474af1eee19ec3c6ce (patch) | |
tree | 3596c83c50199951a0544dc18d2c63936be47b52 /config | |
parent | 66527219ab8f870d888933de20ebae2b1aa7a83f (diff) | |
download | scala-6f66105f7d8eef7008f3fb474af1eee19ec3c6ce.tar.gz scala-6f66105f7d8eef7008f3fb474af1eee19ec3c6ce.tar.bz2 scala-6f66105f7d8eef7008f3fb474af1eee19ec3c6ce.zip |
Now uses same directory for distributions as ma...
Now uses same directory for distributions as makefile.
Diffstat (limited to 'config')
-rw-r--r-- | config/build.default.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/build.default.properties b/config/build.default.properties index cf9dd5513c..f00525d8e3 100644 --- a/config/build.default.properties +++ b/config/build.default.properties @@ -79,7 +79,7 @@ build.nstools.dir=${build.dir}/nstools ################################################################################ # The directory to which a new distribution will be added. -distrib.dir=${basedir}/dist +distrib.dir=${basedir}/distribs # The prefix of the directory in which a distribution will reside. This will be # completed by the date of the distribution. |