#!/bin/bash --norc

PROG=${0##*/}
TOOLCHAIN="cheriot-llvm"
VERSION="13.0.0"

ARGS=()
POSTARGS=()

exec "external/${TOOLCHAIN}/bin/${PROG}" \
    "${ARGS[@]}" \
    "$@"\
    "${POSTARGS[@]}"