From 4c33908df95dc2e9d0e7c798bee295906f40847d Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Tue, 11 Jul 2023 17:28:01 -0500 Subject: [PATCH] Test examples: store diffs without full paths --- tests/examples/update_diffs.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/examples/update_diffs.sh b/tests/examples/update_diffs.sh index 2f6375dc5f..32ff3027bf 100755 --- a/tests/examples/update_diffs.sh +++ b/tests/examples/update_diffs.sh @@ -21,8 +21,8 @@ for file in ${diff_files}; do # Check if the corresponding .cc file exists if [[ -f "${source_file}" && -f "${modified_file}" ]]; then - echo diff "${source_file}" "${modified_file}" "${file}" - diff -c "${source_file}" "${modified_file}" > "${file}" + echo diff "${source_file}" "${modified_file}" \> "${file}" + diff "${source_file}" "${modified_file}" > "${file}" else echo "No matching .cc files found for ${file}" exit 1 -- 2.39.5