X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=cb557a307b21e65f4f573ae4f977d583b6092c45;hb=91088301b4f0361e40ba43fb922866d888a42e53;hp=75986854a778570945683365896f7aa333689d92;hpb=a082ab2a20b41b67c9ecf81e69e50c0b0d37f49d;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