From da59dbb5cbb74a7b6e91a16870941eb5fba60b1d Mon Sep 17 00:00:00 2001 From: Lukas Dullinger <129603980+itislu@users.noreply.github.com> Date: Sun, 11 Aug 2024 18:06:42 +0200 Subject: [PATCH] ci: Adjust to new output filenames of tester --- .github/scripts/print_test_case.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/scripts/print_test_case.sh b/.github/scripts/print_test_case.sh index be951c34..82479948 100644 --- a/.github/scripts/print_test_case.sh +++ b/.github/scripts/print_test_case.sh @@ -10,8 +10,8 @@ output_file_path="${TESTER_OUTPUT_DIR}/${file_dirname}/${file_basename}" print_output() { local output_type=$1 - local file_minishell="${output_file_path}/${output_type}_minishell_${test_number}" - local file_bash="${output_file_path}/${output_type}_bash_${test_number}" + local file_minishell="${output_file_path}/${test_number}_${output_type}_minishell" + local file_bash="${output_file_path}/${test_number}_${output_type}_bash" # Print diff of output between bash and minishell if [[ -f $file_minishell && -f $file_bash ]]; then @@ -42,7 +42,7 @@ print_output() print_valgrind_output() { - local file_valgrind="${output_file_path}/valgrind_out_${test_number}" + local file_valgrind="${output_file_path}/${test_number}_valgrind_out" # Print valgrind output if [[ -f $file_valgrind ]]; then