diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2017-02-20 13:58:07 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-20 13:58:07 +0100 |
| commit | f76ffe97f9460cc04e159ce5b2c0b83d63fb940c (patch) | |
| tree | b4f90d4ed0f411965339d66b9d5a1257dca15f16 /project | |
| parent | 8e2c27154d72bdbe92d7bea9a607b90bf1b52c1c (diff) | |
| parent | ae43a298144842861bd8532b88aec7178c16ccb3 (diff) | |
| download | dotty-f76ffe97f9460cc04e159ce5b2c0b83d63fb940c.tar.gz dotty-f76ffe97f9460cc04e159ce5b2c0b83d63fb940c.tar.bz2 dotty-f76ffe97f9460cc04e159ce5b2c0b83d63fb940c.zip | |
Merge pull request #1987 from dotty-staging/topic/remove-unused-flags
Remove unused flags
Diffstat (limited to 'project')
| -rw-r--r-- | project/Build.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/project/Build.scala b/project/Build.scala index 2d4ac65d4..f03111f76 100644 --- a/project/Build.scala +++ b/project/Build.scala @@ -131,6 +131,8 @@ object DottyBuild extends Build { dependsOn(`dotty-compiler`). dependsOn(`dotty-library`). settings( + triggeredMessage in ThisBuild := Watched.clearWhenTriggered, + addCommandAlias("run", "dotty-compiler/run") ++ addCommandAlias( "partest", |