diff options
| -rwxr-xr-x | subx/run_one_test.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/subx/run_one_test.sh b/subx/run_one_test.sh index eb99a8b5..3aa424ae 100755 --- a/subx/run_one_test.sh +++ b/subx/run_one_test.sh @@ -16,5 +16,12 @@ fi envsubst '$TEST_NAME' < run_one_test.subx > /tmp/run_one_test.subx -subx --debug translate [0-9]*.subx apps/subx-common.subx $1 /tmp/run_one_test.subx -o /tmp/a.elf +if [[ $1 == */* ]] +then + 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 + subx --debug translate [0-9]*.subx apps/subx-common.subx /tmp/run_one_test.subx -o /tmp/a.elf +fi + subx --debug --trace run /tmp/a.elf |