diff options
Diffstat (limited to 'mu')
-rwxr-xr-x | mu | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/mu b/mu new file mode 100755 index 00000000..7833407e --- /dev/null +++ b/mu @@ -0,0 +1,16 @@ +#!/bin/bash +# Run this from the mu directory. +# +# Wrapper to allow selectively running parts of the mu codebase/tests. +# +# Usage: +# mu [mu files] +# mu test [arc files] + +if [[ $1 == "test" ]] +then + shift + ./anarki/arc load.arc "$@" # test currently assumed to be arc files rather than mu files +else + ./anarki/arc load.arc mu.arc -- "$@" # mu files from args +fi |