set -euxo pipefailmain(){if[$TARGET= cargo-fmt ];thencargo fmt -- --checkreturnfi# quick checkcargo check# check that we can source import libm into compiler-builtinscargo check --package cb# generate testscargo run --package test-generator --target x86_64-unknown-linux-musl# run testscross test --target$TARGET --release# TODO need to fix overflow issues (cf. issue #4)# cross test --target $TARGET}main