diff options
Diffstat (limited to 'tools/xentrace/Makefile')
| -rw-r--r-- | tools/xentrace/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/xentrace/Makefile b/tools/xentrace/Makefile index f540b42053..fec7dba619 100644 --- a/tools/xentrace/Makefile +++ b/tools/xentrace/Makefile @@ -39,7 +39,8 @@ install: build [ -z "$(LIBBIN)" ] || $(INSTALL_DIR) $(DESTDIR)$(PRIVATE_BINDIR) $(INSTALL_DIR) $(DESTDIR)$(MAN1DIR) $(INSTALL_DIR) $(DESTDIR)$(MAN8DIR) - $(INSTALL_PROG) $(BIN) $(SCRIPTS) $(DESTDIR)$(BINDIR) + $(INSTALL_PROG) $(BIN) $(DESTDIR)$(BINDIR) + $(INSTALL_PYTHON_PROG) $(SCRIPTS) $(DESTDIR)$(BINDIR) [ -z "$(LIBBIN)" ] || $(INSTALL_PROG) $(LIBBIN) $(DESTDIR)$(PRIVATE_BINDIR) $(INSTALL_DATA) $(MAN1) $(DESTDIR)$(MAN1DIR) $(INSTALL_DATA) $(MAN8) $(DESTDIR)$(MAN8DIR) |