#!/usr/bin/env bash set -euo pipefail script_dir="$(CDPATH= cd -- "$(dirname -- "$0")" && pwd)" root_dir="$(CDPATH= cd -- "${script_dir}/.." && pwd)" sysroot="${REDBEAR_REDOX_SYSROOT:-${root_dir}/prefix/x86_64-unknown-redox/sysroot}" tool="${sysroot}/bin/x86_64-unknown-redox-ranlib" if [ ! -x "${tool}" ]; then echo "error: missing toolchain binary: ${tool}" >&2 echo "hint: run 'make prefix' or otherwise populate ${sysroot}" >&2 exit 1 fi exec "${tool}" "$@"