]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Test examples: store diffs without full paths
authorMatthias Maier <tamiko@43-1.org>
Tue, 11 Jul 2023 22:28:01 +0000 (17:28 -0500)
committerMatthias Maier <tamiko@43-1.org>
Tue, 11 Jul 2023 22:28:01 +0000 (17:28 -0500)
tests/examples/update_diffs.sh

index 2f6375dc5f8078af495a049ffa55cb4fa3e8e2b4..32ff3027bff26dac93a80e65a2e0e100c8274b74 100755 (executable)
@@ -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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.