diff options
| -rwxr-xr-x | subx/run_one_test.sh | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/subx/run_one_test.sh b/subx/run_one_test.sh index a1aa1016..2d4c332e 100755 --- a/subx/run_one_test.sh +++ b/subx/run_one_test.sh @@ -12,12 +12,6 @@ then fi set -e -if [[ $1 == */* ]] -then - CFLAGS=$CFLAGS subx --debug translate [0-9]*.subx apps/subx-common.subx $1 /tmp/run_one_test.subx -o /tmp/a.elf -else - # don't mention files twice - CFLAGS=$CFLAGS subx --debug translate [0-9]*.subx apps/subx-common.subx /tmp/run_one_test.subx -o /tmp/a.elf -fi +CFLAGS=$CFLAGS subx --debug translate `ls [0-9]*.subx apps/subx-common.subx $1 |sort |uniq` /tmp/run_one_test.subx -o /tmp/a.elf subx --debug --trace run /tmp/a.elf |