diff options
-rwxr-xr-x | translate_mu | 2 | ||||
-rwxr-xr-x | translate_mu_debug | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/translate_mu b/translate_mu index f13bed11..77098093 100755 --- a/translate_mu +++ b/translate_mu @@ -4,6 +4,6 @@ set -e -cat $* |apps/mu > a.subx +cat $* [0-9]*.mu |apps/mu > a.subx ./translate_subx init.linux [0-9]*.subx mu-init.subx a.subx diff --git a/translate_mu_debug b/translate_mu_debug index 3c014535..b6176a82 100755 --- a/translate_mu_debug +++ b/translate_mu_debug @@ -3,6 +3,6 @@ set -e -cat $* |apps/mu > a.subx +cat $* [0-9]*.mu |apps/mu > a.subx ./translate_subx_debug init.linux [0-9]*.subx mu-init.subx a.subx |