diff options
Diffstat (limited to 'tools/xentrace/Makefile')
| -rw-r--r-- | tools/xentrace/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/xentrace/Makefile b/tools/xentrace/Makefile index b02a39b18e..f7f8ac1969 100644 --- a/tools/xentrace/Makefile +++ b/tools/xentrace/Makefile @@ -28,9 +28,13 @@ ifeq ($(XEN_TARGET_ARCH),x86_64) LIBBIN += xenctx endif +.PHONY: all all: build + +.PHONY: build build: $(BIN) $(LIBBIN) +.PHONY: install install: build [ -d $(DESTDIR)/usr/bin ] || $(INSTALL_DIR) $(DESTDIR)/usr/bin [ -z "$(LIBBIN)" ] || [ -d $(DESTDIR)/usr/$(LIBDIR)/xen/bin ] || \ @@ -44,6 +48,7 @@ install: build $(INSTALL_DATA) $(MAN1) $(DESTDIR)/usr/share/man/man1 $(INSTALL_DATA) $(MAN8) $(DESTDIR)/usr/share/man/man8 +.PHONY: clean clean: $(RM) *.a *.so *.o *.rpm $(BIN) $(LIBBIN) |