From 9e1ed625367326b0afbac2235ce08bf6c98d0a43 Mon Sep 17 00:00:00 2001 From: Gilles Dubochet Date: Tue, 18 Oct 2005 11:54:14 +0000 Subject: Added the log option. --- config/build.default.properties | 3 +++ 1 file changed, 3 insertions(+) (limited to 'config/build.default.properties') 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= -- cgit v1.2.3