#!/bin/sh
set -e

./clean top-level
./build3 --until $1  &&  ./mu_bin test