diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2018-03-13 08:32:48 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2018-03-13 08:34:05 -0700 |
commit | c912b7319fb204e95e6d97c2c9c182bcaca8f93e (patch) | |
tree | 251508d3aebf9fe48e7162e8db7198d858458613 /mu | |
parent | 7e977235d4bd341b1d5d5e125affb0646199f16c (diff) | |
download | mu-c912b7319fb204e95e6d97c2c9c182bcaca8f93e.tar.gz |
4219 - add an even simpler 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 41c98ce8..fa09f53a 100755 --- a/mu +++ b/mu @@ -2,7 +2,7 @@ # Run interpreter, first compiling if necessary. set -e -./build1 && ./mu_bin "$@" +./build3 && ./mu_bin "$@" # Scenarios considered: # mu |