From 3f6380c669ea808484830144c9c1b61557bcae06 Mon Sep 17 00:00:00 2001 From: Michael Ernst Date: Wed, 4 Sep 2024 16:14:20 -0700 Subject: [PATCH] `sed` takes a filename, not a literal string --- framework/test/test_verify_bugs.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/framework/test/test_verify_bugs.sh b/framework/test/test_verify_bugs.sh index defbab873..485827e8d 100755 --- 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"