-#!/bin/bash
-source config.sh
+#!/usr/bin/env bash
+set -e
+
+./build.sh --sysroot none "$@"
rm -r target/out || true
-mkdir -p target/out/clif
-echo "[BUILD] sysroot"
-time ./build_sysroot/build_sysroot.sh
+scripts/tests.sh no_sysroot
+
+./build.sh "$@"
-echo "[BUILD+RUN] alloc_example"
-$RUSTC example/alloc_example.rs --crate-type bin
-./target/out/alloc_example
+scripts/tests.sh base_sysroot
+scripts/tests.sh extended_sysroot