From bb83281fe78b70178d05e518ab2faef3a1e80210 Mon Sep 17 00:00:00 2001
From: Daniel Plagge <plagge@cs.uni-duesseldorf.de>
Date: Thu, 17 Mar 2011 13:27:54 +0000
Subject: [PATCH] target clear: remove generated files of the parser, too

git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/experimental/plagge/probkodkod@7392 7aec93f6-bc54-0410-ac70-7d7c9efa889a
---
 build.xml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 29a5f0d..29bb6a7 100644
--- a/build.xml
+++ b/build.xml
@@ -26,8 +26,9 @@
 		</uptodate>
 	</target>
 	
-	<target name="clear" depends="init">
+	<target name="clear">
 		<delete> <fileset dir="${build}" includes="**/*"/> </delete>
+		<delete includeemptydirs="yes"> <fileset dir="${parser}" includes="**/*"/> </delete>
 	</target>
 	
 	<target name="parser" depends="init" unless="parser.uptodate" description="Generate the parser classes">
-- 
GitLab