made configure quiet

diff --git a/tools/build.xml b/tools/build.xml
index 9d3401cbfad971ad0f96a480254f6421aa08a8e1..1b98c9a707c8c25b2a5b7ff37953a4cf82273f1c 100644 (file)
--- a/tools/build.xml
+++ b/tools/build.xml
@@ -5,6 +5,7 @@
                <exec executable="./Bootstrap" failonerror="true">
                </exec>
                <exec executable="./configure" failonerror="true">
+                       <arg  line="--quiet" />
                </exec>
                <exec executable="make" failonerror="true">
                        <arg line="all" />
@@ -16,7 +17,7 @@
                <exec executable="./Bootstrap" failonerror="true">
                </exec>
                <exec executable="./configure" failonerror="true">
-                       <arg line="--prefix=/scratch/tos2/usr" />
+                       <arg line="--prefix=/scratch/tos2/usr --quiet" />
                        </exec>
                <exec executable="make" failonerror="true">
                        <arg line="install" />