diff options
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 ############################################################################## |