From b189b21e712e9f3d0e798862c9081d24d68d7ba0 Mon Sep 17 00:00:00 2001
From: erik <erik@77661180-640e-0410-b3a8-9f9b13e6d0e0>
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