#!/bin/bash set -e set -o pipefail cd x86_64 ./builddbg.sh ./buildrel.sh cd ../arm ./builddbg.sh ./buildrel.sh cd .. cp "../src/gfatimer.h" "Toolchain/" echo done
