From: Timo Heister Date: Mon, 10 Jun 2024 19:13:07 +0000 (-0400) Subject: update_diff script X-Git-Tag: v9.6.0-rc1~194^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F17116%2Fhead;p=dealii.git update_diff script --- 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