about summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rwxr-xr-xsubx/run_one_test.sh9
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