1 files changed, 8 insertions, 0 deletions
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 "$@"