| #! /bin/bash |
| # Convert and run one configuration |
| # Args: a product/board makefile optionally followed by additional arguments |
| # that will be passed to rbcrun. |
| [[ $# -gt 0 && -f "$1" ]] || { echo "Usage: ${0##*/} product.mk [Additional rbcrun arguments]" >&2; exit 1; } |
| set -eu |
| |
| declare -r output_root="${OUT_DIR:-out}" |
| declare -r runner="${output_root}/soong/rbcrun" |
| declare -r converter="${output_root}/soong/mk2rbc" |
| declare -r launcher="${output_root}/rbc/launcher.rbc" |
| declare -r makefile="$1" |
| shift |
| "${converter}" -mode=write -r --outdir "${output_root}/rbc" --launcher="${launcher}" "${makefile}" |
| "${runner}" RBC_OUT="make,global" RBC_DEBUG="${RBC_DEBUG:-}" $@ "${launcher}" |
| |
