From 9e1ed625367326b0afbac2235ce08bf6c98d0a43 Mon Sep 17 00:00:00 2001
From: Gilles Dubochet <gilles.dubochet@epfl.ch>
Date: Tue, 18 Oct 2005 11:54:14 +0000
Subject: Added the log option.

---
 build.xml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'build.xml')

diff --git a/build.xml b/build.xml
index 99e1a4e24e..d835db90a5 100644
--- a/build.xml
+++ b/build.xml
@@ -186,7 +186,7 @@
         <mkdir dir="${build.nslib.dir}"/>
         <nsc srcdir="${sources.dir}" destdir="${build.nslib.dir}"
              usepredefs="false"
-             stop="${nsc.stop}" skip="${nsc.skip}" check="${nsc.check}"
+             stop="${nsc.stop}" skip="${nsc.skip}" check="${nsc.check}" log="${nsc.log}"
              logging="${nsc.logging}">
             <classpath>
                 <pathelement location="${build.nslib.dir}"/>
@@ -199,7 +199,7 @@
         </nsc>
         <nsc srcdir="${sources.dir}" destdir="${build.nslib.dir}"
              excludesfile="${nsc.nslib.excludes}"
-             stop="${nsc.stop}" skip="${nsc.skip}" check="${nsc.check}"
+             stop="${nsc.stop}" skip="${nsc.skip}" check="${nsc.check}" log="${nsc.log}"
              logging="${nsc.logging}">
             <classpath>
                 <pathelement location="${build.nslib.dir}"/>
@@ -219,7 +219,7 @@
         <mkdir dir="${build.nstools.dir}"/>
         <nsc srcdir="${sources.dir}" destdir="${build.nstools.dir}"
              excludesfile="${nsc.nstools.excludes}"
-             stop="${nsc.stop}" skip="${nsc.skip}" check="${nsc.check}"
+             stop="${nsc.stop}" skip="${nsc.skip}" check="${nsc.check}" log="${nsc.log}"
              logging="${nsc.logging}">
             <classpath>
                 <pathelement location="${build.nslib.dir}"/>
-- 
cgit v1.2.3