diff options
Diffstat (limited to 'xen/tools/Makefile')
-rw-r--r-- | xen/tools/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/xen/tools/Makefile b/xen/tools/Makefile index 4d353617bd..67c48ce168 100644 --- a/xen/tools/Makefile +++ b/xen/tools/Makefile @@ -1,13 +1,16 @@ include $(BASEDIR)/../Config.mk +.PHONY: default default: $(MAKE) -C figlet $(MAKE) symbols +.PHONY: clean clean: $(MAKE) -C figlet clean rm -f *.o symbols +.PHONY: symbols symbols: symbols.c $(HOSTCC) $(HOSTCFLAGS) -o $@ $< |