Fix bug in use of sed

rjust · Sep 5, 2024 · 4c39462 · 4c39462
1 parent c24adeb
commit 4c39462
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/framework/test/test_verify_bugs.sh b/framework/test/test_verify_bugs.sh
@@ -72,9 +72,9 @@ if [ "$BUGS" == "" ]; then
 fi
 
 # Create log file
-script_name=$(sed 's/\.sh$//' "$script")
-LOG="$TEST_DIR/${script_name}$(printf '_%s_%s' "$PID" $$).log"
-DIR_FAILING="$TEST_DIR/${script_name}$(printf '_%s_%s' "$PID" $$).failing_tests"
+script_name_without_sh=${script//.sh/}
+LOG="$TEST_DIR/${script_name_without_sh}$(printf '_%s_%s' "$PID" $$).log"
+DIR_FAILING="$TEST_DIR/${script_name_without_sh}$(printf '_%s_%s' "$PID" $$).failing_tests"
 
 ################################################################################
 # Run developer-written tests on all buggy and fixed program versions, and