Added configure options

WARNING: work in progress

diff --git a/org.glite.wms-utils.jobid/project/configure-options.xml b/org.glite.wms-utils.jobid/project/configure-options.xml
index 6415964..c813e7d 100644 (file)
--- a/org.glite.wms-utils.jobid/project/configure-options.xml
+++ b/org.glite.wms-utils.jobid/project/configure-options.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-glite-location=${with.glite.location}"/>
+               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-glite-location=${with.glite.location} --with-dist-location=${with.dist.location}"/>
 
        </project>