File xen-figlet-makefile.patch of Package xen.481

Index: xen-4.4.1-testing/xen/tools/Makefile
===================================================================
--- xen-4.4.1-testing.orig/xen/tools/Makefile
+++ xen-4.4.1-testing/xen/tools/Makefile
@@ -3,10 +3,12 @@ include $(XEN_ROOT)/Config.mk
 
 .PHONY: default
 default:
+	[ -d figlet ] && $(MAKE) -C figlet
 	$(MAKE) symbols
 
 .PHONY: clean
 clean:
+	[ -d figlet ] && $(MAKE) -C figlet clean
 	rm -f *.o symbols
 
 symbols: symbols.c
Index: xen-4.4.1-testing/xen/Makefile
===================================================================
--- xen-4.4.1-testing.orig/xen/Makefile
+++ xen-4.4.1-testing/xen/Makefile
@@ -117,7 +117,7 @@ delete-unfresh-files:
 	@if which figlet >/dev/null 2>&1 ; then \
 		echo " Xen $(XEN_FULLVERSION)" | figlet -f tools/xen.flf > $@.tmp; \
 	else \
-		echo " Xen $(XEN_FULLVERSION)" > $@.tmp; \
+		echo " Xen $(XEN_FULLVERSION)" | tools/figlet/figlet -f tools/figlet/xen.flf > $@.tmp; \
 	fi
 	@mv -f $@.tmp $@