Index: run_remote_tests.sh |
diff --git a/run_remote_tests.sh b/run_remote_tests.sh |
index da3fbd5ea245e2e6350a864ce2d75c32f491b77c..25282088cc4d832c75b1b41b9cb40ac033ef3c25 100755 |
--- a/run_remote_tests.sh |
+++ b/run_remote_tests.sh |
@@ -227,7 +227,21 @@ function main() { |
fi |
echo "" |
echo_color "yellow" ">>> Running ${type} test " ${control_file} |
+ local control_file_name=$(basename "${control_file}") |
local short_name=$(basename $(dirname "${control_file}")) |
+ |
+ # testName/control --> testName |
+ # testName/control.bvt --> testName.bvt |
+ # testName/control.regression --> testName.regression |
+ # testName/some_control --> testName.some_control |
+ if [[ "${control_file_name}" != control ]]; then |
+ if [[ "${control_file_name}" == control.* ]]; then |
+ short_name=${short_name}.${control_file_name/control./} |
+ else |
+ short_name=${short_name}.${control_file_name} |
+ fi |
+ fi |
+ |
local results_dir_name="${short_name}" |
local results_dir="${TMP_INSIDE_CHROOT}/${results_dir_name}" |
rm -rf "${results_dir}" |