1 files changed, 11 insertions, 0 deletions
diff --git a/archive/1.vm/mu b/archive/1.vm/mu
new file mode 100755
index 00000000..67068ebb
--- /dev/null
+++ b/archive/1.vm/mu
@@ -0,0 +1,11 @@
+#!/bin/sh
+# Run interpreter, first compiling if necessary.
+set -e
+
+./build3  &&  ./mu_bin "$@"
+
+# Scenarios considered:
+#   ./mu
+#   ./mu --help
+#   ./mu test
+#   ./mu test file1.mu