diff -r a8e1da8d6c8f xen/Makefile
--- a/xen/Makefile	Fri Sep 04 16:37:38 2009 +0100
+++ b/xen/Makefile	Mon Sep 07 10:14:50 2009 +0100
@@ -122,10 +122,10 @@
 endef
 
 define set_exuberant_flags
-    exuberant_flags=`$1 --version 2>/dev/null | grep -iq exuberant && \
+    exuberant_flags=`$1 --version 2>/dev/null | (grep -iq exuberant && \
 	echo "-I __initdata,__exitdata,__acquires,__releases \
 	    -I EXPORT_SYMBOL,EXPORT_SYMBOL_GPL \
-	    --extra=+f --c-kinds=+px"`
+	    --extra=+f --c-kinds=+px") || true` 
 endef
 
 .PHONY: xenversion