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