From f0cf7af7d8e28ce957754873cc16c2ac42138466 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Mon, 12 Mar 2018 23:24:53 -0700
Subject: 4216 - include simpler alternative to build script

---
 mu | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mu')

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
-- 
cgit 1.4.1-2-gfad0