924253f1 ^
ba838fea ^
b589f25a ^
0cdaca2c ^
c912b731 ^
1
2
3
4
5
#!/bin/sh set -e ./clean top-level ./build3 --until $1 && ./mu_bin test