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 @@

             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