address comments

diff --git a/tests/examples/create_diffs.sh b/tests/examples/create_diffs.sh
index 515ad3f05725e5a19d76f39a94d846532d1554f7..d752616c9f835d64df3bc2dcf3b830f54e6d6e0f 100755 (executable)
--- 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 cede5e4bd4155db52196340de07b18982750e29c..1211532171abbda7f7d8195095f2362ac5f8ff95 100755 (executable)
--- 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