From 9bd7c0d26af30164feaa0b501c86b3311510a145 Mon Sep 17 00:00:00 2001
From: Erik Brakkee <erik@brakkee.org>
Date: Mon, 24 Apr 2006 20:50:53 +0000
Subject: [PATCH]
---
build/header.xml | 15 ++++++++++-----
1 file changed, 10 insertions(+), 5 deletions(-)
diff --git a/build/header.xml b/build/header.xml
index 8d03063e..29b6aa95 100644
--- a/build/header.xml
+++ b/build/header.xml
@@ -314,11 +314,16 @@
classname="org.apache.tools.ant.taskdefs.optional.dependencies.Dependencies"/>
<!-- Emma integration -->
- <path id="emma.lib">
- <fileset dir="${test.lib.dir}" includes="emma*.jar"/>
- </path>
- <taskdef resource="emma_ant.properties" classpathref="emma.lib" />
- <property name="emma.enabled" value="false"/>
+ <if>
+ <available file="${test.lib.dir}"/>
+ <then>
+ <path id="emma.lib">
+ <fileset dir="${test.lib.dir}" includes="emma*.jar"/>
+ </path>
+ <taskdef resource="emma_ant.properties" classpathref="emma.lib" />
+ <property name="emma.enabled" value="false"/>
+ </then>
+ </if>
<!-- checkstyle -->
<property name="checkstyle.home" value="${ant.downloaded.lib.dir}"/>
--
2.31.1