From: Elisabetta Ronchieri <elisabetta.ronchieri@cnaf.infn.it>
Date: Tue, 20 Dec 2005 22:37:11 +0000 (+0000)
Subject: enable optimization through a global property (enable.optimization)
X-Git-Tag: glite-wms-utils-jobid_R_1_0_3~36
X-Git-Url: http://scientific.zcu.cz/git/?a=commitdiff_plain;h=04e48a5b0c43d1ce7a9ee40d61e4a03602f3ad43;p=jra1mw.git

enable optimization through a global property (enable.optimization)
---

diff --git a/org.glite.wms-utils.jobid/project/configure.properties.xml b/org.glite.wms-utils.jobid/project/configure.properties.xml
index 598ef7f..982f1f1 100644
--- a/org.glite.wms-utils.jobid/project/configure.properties.xml
+++ b/org.glite.wms-utils.jobid/project/configure.properties.xml
@@ -4,6 +4,6 @@
         
 	<project name="configure options">                                                                        
         <property name="configure.args"
-               value="--prefix=${workspace.abs.dir}/stage --with-globus-prefix=${with.globus.prefix} --with-globus-thr-flavor=${with.globus.thr.flavor} --with-globus-nothr-flavor=${with.globus.nothr.flavor} --with-cppunit-prefix=${with.cppunit.prefix} --with-glite-location=${with.glite.location} --with-dist-location=${with.dist.location} --enable-optimization"/>
+               value="--prefix=${workspace.abs.dir}/stage --with-globus-prefix=${with.globus.prefix} --with-globus-thr-flavor=${with.globus.thr.flavor} --with-globus-nothr-flavor=${with.globus.nothr.flavor} --with-cppunit-prefix=${with.cppunit.prefix} --with-glite-location=${with.glite.location} --with-dist-location=${with.dist.location} --enable-optimization=${enable.optimization}"/>
 
 	</project>