diff options
Diffstat (limited to 'xen/tools')
-rw-r--r-- | xen/tools/Makefile | 3 | ||||
-rw-r--r-- | xen/tools/figlet/Makefile | 1 |
2 files changed, 4 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 $@ $< diff --git a/xen/tools/figlet/Makefile b/xen/tools/figlet/Makefile index bb9c64fa79..cc44294dad 100644 --- a/xen/tools/figlet/Makefile +++ b/xen/tools/figlet/Makefile @@ -4,5 +4,6 @@ include $(BASEDIR)/../Config.mk figlet: figlet.c $(HOSTCC) -o $@ $< +.PHONY: clean clean: rm -f *.o figlet |