From 611872d5c241f3a553eb09c2cdafc931a57c9495 Mon Sep 17 00:00:00 2001
From: Pieter Libin <pieter.libin@vub.ac.be>
Date: Thu, 29 Mar 2018 21:16:13 +0200
Subject: [PATCH] when cleaning remove dist and test build dir

---
 build.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/build.xml b/build.xml
index d95dc7f..6218075 100644
--- a/build.xml
+++ b/build.xml
@@ -132,6 +132,9 @@ To run SANTA unit tests,
   
   <target name="clean">
     <delete dir="${build}"/>
+    <delete dir="${dist}"/>
+    <delete dir="${test.build}"/>
+    <delete dir="${test.reports}"/>
   </target>
 
   <target name="test" depends="dist">