diff options
author | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2005-10-18 11:54:14 +0000 |
---|---|---|
committer | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2005-10-18 11:54:14 +0000 |
commit | 9e1ed625367326b0afbac2235ce08bf6c98d0a43 (patch) | |
tree | ced67d3aea04ffb2e1c8d3fb4fbdda1bddbc1ba4 /config | |
parent | 0b87051d35bbf9ca3e75fdab4c13819b6a09493b (diff) | |
download | scala-9e1ed625367326b0afbac2235ce08bf6c98d0a43.tar.gz scala-9e1ed625367326b0afbac2235ce08bf6c98d0a43.tar.bz2 scala-9e1ed625367326b0afbac2235ce08bf6c98d0a43.zip |
Added the log option.
Diffstat (limited to 'config')
-rw-r--r-- | config/build.default.properties | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/config/build.default.properties b/config/build.default.properties index 7c7b83b0e5..ab821b042e 100644 --- a/config/build.default.properties +++ b/config/build.default.properties @@ -21,6 +21,9 @@ nsc.stop= # A comma-separated list of compile phases that NSC should skip. nsc.skip= +# A comma-separated list of compile phases that NSC should log. +nsc.log= + # A comma-separated list of compile phases which result should be checked for # consistency. nsc.check= |