#!/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