diff options
-rwxr-xr-x | translate_mu | 2 | ||||
-rwxr-xr-x | translate_mu_debug | 8 |
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 |