diff options
Diffstat (limited to 'tools/misc/Makefile')
| -rw-r--r-- | tools/misc/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/misc/Makefile b/tools/misc/Makefile index 003947c8e3..eb110d7e2b 100644 --- a/tools/misc/Makefile +++ b/tools/misc/Makefile @@ -18,7 +18,10 @@ TARGETS = xenperf xc_shadow INSTALL_BIN = $(TARGETS) xencons INSTALL_SBIN = netfix xm xen-bugtool xend xenperf +.PHONY: all all: build + +.PHONY: build build: $(TARGETS) $(MAKE) -C miniterm $(MAKE) -C cpuperf @@ -27,6 +30,7 @@ ifneq ($(XEN_TARGET_ARCH),ia64) endif $(MAKE) -C lomount +.PHONY: install install: build [ -d $(DESTDIR)/usr/bin ] || $(INSTALL_DIR) $(DESTDIR)/usr/bin [ -d $(DESTDIR)/usr/sbin ] || $(INSTALL_DIR) $(DESTDIR)/usr/sbin @@ -39,6 +43,7 @@ install: build # Likewise mbootpack # $(MAKE) -C mbootpack install +.PHONY: clean clean: $(RM) *.o $(TARGETS) *~ $(MAKE) -C miniterm clean |