sed takes a filename, not a literal string

rjust · Sep 4, 2024 · 3f6380c · 3f6380c
1 parent 2f22d6c
commit 3f6380c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/framework/test/test_verify_bugs.sh b/framework/test/test_verify_bugs.sh
@@ -83,7 +83,7 @@ if [ "$DEBUG" == "-D" ]; then
 fi
 
 # Create log file
-script_name=$(sed 's/\.sh$//' "$script")
+script_name=$(echo $script | sed 's/\.sh$//')
 LOG="$TEST_DIR/${script_name}$(printf '_%s_%s' "$PID" $$).log"
 DIR_FAILING="$TEST_DIR/${script_name}$(printf '_%s_%s' "$PID" $$).failing_tests"