diff options
Diffstat (limited to 'config/build.default.properties')
| -rw-r--r-- | config/build.default.properties | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/config/build.default.properties b/config/build.default.properties index bc645e0c11..cf123820bd 100644 --- a/config/build.default.properties +++ b/config/build.default.properties @@ -102,9 +102,8 @@ build.nstools.dir=${build.dir}/nstools distrib.unix.dir=${basedir}/distribs/unix distrib.win.dir=${basedir}/distribs/windows -# The prefix of the directory in which a distribution will reside. This -# will be completed by the date of the distribution. -distrib.current.prefix=nscala +# The name of the product to build. +distrib.name=nscala # The name of the JAR file in which the new Scala library should be archived. nslib.jar.name=nslib.jar @@ -116,4 +115,9 @@ nstools.jar.name=nstools.jar # should be archived. osc-nstools.jar.name=osc-nstools.jar +# The name of the Scala executables +scala.exec.name=ns +scalac.exec.name=nsc +scalap.exec.name=nsp + ############################################################################## |