diff options
| -rw-r--r-- | tools/Makefile | 7 | ||||
| -rwxr-xr-x | tools/cross-install | 8 |
2 files changed, 13 insertions, 2 deletions
diff --git a/tools/Makefile b/tools/Makefile index bcc9fb8d0a..159087eca1 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -38,8 +38,10 @@ endif # For the sake of linking, set the sys-root ifneq ($(CROSS_COMPILE),) +CROSS_BIN_PATH ?= /usr/$(CROSS_COMPILE:-=)/bin CROSS_SYS_ROOT ?= /usr/$(CROSS_COMPILE:-=)/sys-root -export CROSS_SYS_ROOT +export CROSS_SYS_ROOT # exported for check/funcs.sh +export CROSS_BIN_PATH # exported for cross-install.sh endif .PHONY: all @@ -57,7 +59,8 @@ clean distclean: subdirs-clean ifneq ($(XEN_COMPILE_ARCH),$(XEN_TARGET_ARCH)) IOEMU_CONFIGURE_CROSS ?= --cpu=$(XEN_TARGET_ARCH) \ --cross-prefix=$(CROSS_COMPILE) \ - --interp-prefix=$(CROSS_SYS_ROOT) + --interp-prefix=$(CROSS_SYS_ROOT) \ + --install=$(CURDIR)/cross-install endif ioemu/config-host.mak: diff --git a/tools/cross-install b/tools/cross-install new file mode 100755 index 0000000000..2b67bb34cf --- /dev/null +++ b/tools/cross-install @@ -0,0 +1,8 @@ +#!/bin/sh + +# prepend CROSS_BIN_PATH to find the right "strip" +if [ -n "$CROSS_BIN_PATH" ]; then + PATH="$CROSS_BIN_PATH:$PATH" +fi + +exec install "$@" |