diff options
Diffstat (limited to 'test_apps')
| -rwxr-xr-x | test_apps | 4 |
1 files changed, 2 insertions, 2 deletions
diff --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 |