diff options
Diffstat (limited to 'xen/tools/Makefile')
-rw-r--r-- | xen/tools/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/xen/tools/Makefile b/xen/tools/Makefile index 1609289c47..922f15fae4 100644 --- a/xen/tools/Makefile +++ b/xen/tools/Makefile @@ -4,12 +4,12 @@ include $(XEN_ROOT)/Config.mk .PHONY: default default: - $(MAKE) -C figlet + [ -d figlet ] && $(MAKE) -C figlet $(MAKE) symbols .PHONY: clean clean: - $(MAKE) -C figlet clean + [ -d figlet ] && $(MAKE) -C figlet clean rm -f *.o symbols symbols: symbols.c |