From e0964617105b5af1964f9a5ce6c0830dbc03757b Mon Sep 17 00:00:00 2001
From: Elisabetta Ronchieri <elisabetta.ronchieri@cnaf.infn.it>
Date: Mon, 14 Jun 2004 18:15:10 +0000
Subject: [PATCH] Added configure options WARNING: work in progress

---
 org.glite.wms-utils.jobid/project/configure-options.xml | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 org.glite.wms-utils.jobid/project/configure-options.xml

diff --git a/org.glite.wms-utils.jobid/project/configure-options.xml b/org.glite.wms-utils.jobid/project/configure-options.xml
new file mode 100644
index 0000000..f135319
--- /dev/null
+++ b/org.glite.wms-utils.jobid/project/configure-options.xml
@@ -0,0 +1,9 @@
+	<!-- ======================================================
+                 Define extra properties here ...
+                 ====================================================== -->
+        
+	<project name="configure options">                                                                        
+        <property name="configure.args"
+               value="--with-globus-prefix=${with.globus.prefix} --with-globus-thr-flavor=${with.globus.thr.flavor} --with-globus-nothr-flavor=${with.globus.nothr.flavor}"/>
+
+	</project>
-- 
1.8.2.3