From: Timo Heister <timo.heister@gmail.com>
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