diff options
Diffstat (limited to 'linux/translate_debug')
-rwxr-xr-x | linux/translate_debug | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/linux/translate_debug b/linux/translate_debug new file mode 100755 index 00000000..17b55e29 --- /dev/null +++ b/linux/translate_debug @@ -0,0 +1,11 @@ +#!/bin/sh +# Translate given Mu files with debug information on Linux. +# +# (You _could_ do something similar on other platforms using emulation. But I +# often find that to be too slow.) + +set -e + +cat $* [0-9]*.mu |./mu > a.subx + +./translate_subx_debug [0-9]*.subx mu-init.subx a.subx |