From: Timo Heister <timo.heister@gmail.com>
Date: Sat, 1 Jul 2023 20:28:28 +0000 (-0400)
Subject: address comments
X-Git-Tag: relicensing~766^2~8
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ccd793be0e08ab1aad43b12be848d35f85a42686;p=dealii.git

address comments
---

diff --git a/tests/examples/create_diffs.sh b/tests/examples/create_diffs.sh
index 515ad3f057..d752616c9f 100755
--- a/tests/examples/create_diffs.sh
+++ b/tests/examples/create_diffs.sh
@@ -12,10 +12,10 @@ for file in $diff_files; do
 
   # Check if the corresponding .cc file exists
   if [[ -f "$src" ]]; then
-      echo "creating $file from $src and $filename.cc"
-    diff "$src" "$filename.cc" > $file
+    echo "creating $file from $src and $filename.cc"
+    diff "$src" "$filename.cc" > "$file"
   else
-      echo "No matching .cc file found for $diff_file"
-      exit -1
+    echo "No matching .cc file found for $file"
+    exit 1
   fi
 done
diff --git a/tests/examples/update.sh b/tests/examples/update.sh
index cede5e4bd4..1211532171 100755
--- a/tests/examples/update.sh
+++ b/tests/examples/update.sh
@@ -9,13 +9,13 @@ for file in $diff_files; do
   # Extract the filename without the extension
   filename=$(basename "$file" .diff)
   src="../../examples/$filename/$filename.cc"
-  
+
   # Check if the corresponding .cc file exists
   if [[ -f "$src" ]]; then
     # Apply the diff and save it to a new file
-    patch "$src" < "$file" -o "$filename.cc"
+    patch "$src" -o "$filename.cc" < "$file"
   else
-      echo "No matching .cc file found for $diff_file"
-      exit -1
+    echo "No matching .cc file found for ${file}"
+    exit 1
   fi
 done