1 2 3 4 5 6 7 8
#!/bin/bash # # Compile mu if necessary before running it. # show make output only if something needs doing make -q || make >&2 || exit 1 ./mu_bin "$@"