From: Jack Lange <jarusl@cs.northwestern.edu>
Date: Tue, 21 Oct 2008 20:51:28 +0000 (-0500)
Subject: fixed xed clean issue
X-Git-Tag: 1.0^2~30^2~8^2
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios-OLD.git;a=commitdiff_plain;h=91088301b4f0361e40ba43fb922866d888a42e53

fixed xed clean issue
---

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