diff options
-rwxr-xr-x | apps/mu | bin | 78653 -> 80115 bytes | |||
-rwxr-xr-x | test_apps | 4 |
2 files changed, 2 insertions, 2 deletions
diff --git a/apps/mu b/apps/mu index 1dbdf2f4..4a9a4b85 100755 --- a/apps/mu +++ b/apps/mu Binary files differdiff --git a/test_apps b/test_apps index 16f17138..1067f518 100755 --- a/test_apps +++ b/test_apps @@ -284,7 +284,7 @@ test `uname` = 'Linux' && { } echo mu -cat init.$OS 0*.subx apps/mu.subx | apps/braces | apps/calls | apps/sigils > a.sigils +cat init.$OS [0-9]*.subx apps/mu.subx | apps/braces | apps/calls | apps/sigils > a.sigils ./bootstrap translate a.sigils -o apps/mu [ "$1" != record ] && git diff --exit-code apps/mu test $EMULATED && { @@ -335,7 +335,7 @@ done # Mu translator echo mu -./translate_subx init.$OS 0*.subx apps/mu.subx +./translate_subx init.$OS [0-9]*.subx apps/mu.subx diff apps/mu a.elf exit 0 |