X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=cb557a307b21e65f4f573ae4f977d583b6092c45;hb=6412a23da90ae75906e946febb6f49df8a33d0bd;hp=75986854a778570945683365896f7aa333689d92;hpb=b59b6f0b0d56b9ef9360d63be89d2510f26423f2;p=palacios.git

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index 7598685..cb557a3 100644
--- a/palacios/build/Makefile
+++ b/palacios/build/Makefile
@@ -505,7 +505,7 @@ force:
 
 # Clean build directories of generated files
 clean :
-	for d in palacios devices; do \
+	for d in palacios devices xed; do \
 		(cd $$d && rm -f *); \
 	done