(no commit message)

diff --git a/build/header.xml b/build/header.xml
index 8d03063e4eeb714e5ef8ebf317bb048e14de6633..29b6aa95ed2794b1a277f5389a716b8c809aa8fd 100644 (file)
--- 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}"/>