about summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rwxr-xr-xtranslate_mu2
-rwxr-xr-xtranslate_mu_debug8
2 files changed, 9 insertions, 1 deletions
diff --git a/translate_mu b/translate_mu
index 646bba20..f13bed11 100755
--- a/translate_mu
+++ b/translate_mu
@@ -6,4 +6,4 @@ set -e
 
 cat $*          |apps/mu      > a.subx
 
-./translate_subx_debug init.linux [0-9]*.subx mu-init.subx a.subx
+./translate_subx init.linux [0-9]*.subx mu-init.subx a.subx
diff --git a/translate_mu_debug b/translate_mu_debug
new file mode 100755
index 00000000..3c014535
--- /dev/null
+++ b/translate_mu_debug
@@ -0,0 +1,8 @@
+#!/bin/sh
+# Translate Mu programs with debug information on Linux.
+
+set -e
+
+cat $*          |apps/mu      > a.subx
+
+./translate_subx_debug init.linux [0-9]*.subx mu-init.subx a.subx