From eb9f0b3f2236be29224f8d3e289df3408ea5339a Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Mon, 10 Jun 2024 15:13:07 -0400 Subject: [PATCH] update_diff script --- tests/examples/update_diffs.sh | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/tests/examples/update_diffs.sh b/tests/examples/update_diffs.sh index 9278df98ac..afae4093f6 100755 --- a/tests/examples/update_diffs.sh +++ b/tests/examples/update_diffs.sh @@ -34,8 +34,7 @@ for file in ${diff_files}; do echo diff "${source_file}" "${modified_file}" \> "${file}" diff "${source_file}" "${modified_file}" > "${file}" else - echo "No matching .cc files found for ${file}" - exit 1 + echo "No matching .cc files found for ${file}: source=${source_file} modified=${modified_file}" fi done -- 2.39.5