also clean jjtree generated files

13 years ago · 7ce8ac92f7
parent 4e3a68a38d
commit 7ce8ac92f7
1 changed files with 3 additions and 0 deletions
--- a/build.xml
+++ b/build.xml
@ -178,6 +178,9 @@

   <target name = "clean">
     <delete dir = "${build}"/>
+     <delete>
+       <fileset dir = "${src}/de/unibremen/informatik/hets/grammar/" includes = "*.java *.jj" />
+     </delete>
   </target>