path: root/tools/cross-install

#!/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 "$@"