diff options
Diffstat (limited to 'tools/cross-install')
-rwxr-xr-x | tools/cross-install | 8 |
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 "$@" |