diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2018-03-12 23:24:53 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2018-03-12 23:26:10 -0700 |
commit | f0cf7af7d8e28ce957754873cc16c2ac42138466 (patch) | |
tree | 4876ae0d642124c9d397ee23aca64f184c1a9368 /mu | |
parent | 2b9b1cf3867a63dda0a5ac92a5ad8c88fce6f0d1 (diff) | |
download | mu-f0cf7af7d8e28ce957754873cc16c2ac42138466.tar.gz |
4216 - include simpler alternative to build script
Diffstat (limited to 'mu')
-rwxr-xr-x | mu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mu b/mu index 7e3d6be6..41c98ce8 100755 --- a/mu +++ b/mu @@ -2,7 +2,7 @@ # Run interpreter, first compiling if necessary. set -e -./build && ./mu_bin "$@" +./build1 && ./mu_bin "$@" # Scenarios considered: # mu |