#!/bin/bash set -euo pipefail cd toolchain make shell