about summary refs log tree commit diff stats
path: root/mu
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2018-03-12 23:24:53 -0700
committerKartik K. Agaram <vc@akkartik.com>2018-03-12 23:26:10 -0700
commitf0cf7af7d8e28ce957754873cc16c2ac42138466 (patch)
tree4876ae0d642124c9d397ee23aca64f184c1a9368 /mu
parent2b9b1cf3867a63dda0a5ac92a5ad8c88fce6f0d1 (diff)
downloadmu-f0cf7af7d8e28ce957754873cc16c2ac42138466.tar.gz
4216 - include simpler alternative to build script
Diffstat (limited to 'mu')
-rwxr-xr-xmu2
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