15935902 ^
fa3d7edc ^
a362c95c ^
b856e7e1 ^
60e11efc ^
1
2 3 4
5
6
7
8 9 10 11 12 13
#!/bin/sh # # Compile mu if necessary before running it. ./build || exit 1 ./mu_bin $FLAGS "$@" # Scenarios considered: # mu # mu --help # mu test # mu test file1.mu