diff options
author | Burak Emir <emir@epfl.ch> | 2005-11-18 14:58:59 +0000 |
---|---|---|
committer | Burak Emir <emir@epfl.ch> | 2005-11-18 14:58:59 +0000 |
commit | f7ba3e8bbea873a783f0b2ea0255256686d965e8 (patch) | |
tree | b51f39a2e741a8d3827f83465b7f3299c54cb1ef /config | |
parent | 59eea769bbd4b5779b4df5e7c6751b7302dd753c (diff) | |
download | scala-f7ba3e8bbea873a783f0b2ea0255256686d965e8.tar.gz scala-f7ba3e8bbea873a783f0b2ea0255256686d965e8.tar.bz2 scala-f7ba3e8bbea873a783f0b2ea0255256686d965e8.zip |
cleaned up main
Diffstat (limited to 'config')
-rw-r--r-- | config/build.default.properties | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/config/build.default.properties b/config/build.default.properties index 1b7618a21f..61c222aa36 100644 --- a/config/build.default.properties +++ b/config/build.default.properties @@ -118,6 +118,8 @@ osc-nstools.jar.name=osc-nstools.jar # The name of the Scala executables scala.exec.name=ns scalac.exec.name=nsc +scalai.exec.name=nsi scalap.exec.name=nsp +scalatok.exec.name=nsctok ############################################################################## |