From 2fad64699dd922ae6c78575b4b32f621461544a5 Mon Sep 17 00:00:00 2001
From: Juan Hernandez <juan.hernandez@redhat.com>
Date: Sat, 10 Mar 2012 17:16:56 +0100
Subject: [PATCH 3/5] Don't generate Jing RNC driver

---
 tools/build.xml |    2 --
 1 files changed, 0 insertions(+), 2 deletions(-)

diff --git a/tools/build.xml b/tools/build.xml
index d304db4..0723987 100644
--- a/tools/build.xml
+++ b/tools/build.xml
@@ -53,14 +53,12 @@
     <target name="compile" depends="compile-for-source"
             description="build tools and deploy them into necessary locations">
         <ant dir="${jaxb.root}/tools/pretty-printer" />
-        <ant dir="${jaxb.root}/tools/jing-rnc-driver"/>
     </target>
     
     <target name="clean">
         <ant dir="${jaxb.root}/tools/source-tidy"          target="clean"/>
         <ant dir="${jaxb.root}/tools/webapp-commons"       target="clean"/>
         <ant dir="${jaxb.root}/tools/pretty-printer"       target="clean"/>
-        <ant dir="${jaxb.root}/tools/jing-rnc-driver"      target="clean"/>
         <ant dir="${jaxb.root}/tools/xmllint"              target="clean"/>
     </target>
 </project>
-- 
1.7.9