]> https://gitweb.dealii.org/ - dealii.git/commitdiff
address comments
authorTimo Heister <timo.heister@gmail.com>
Sat, 1 Jul 2023 20:28:28 +0000 (16:28 -0400)
committerMatthias Maier <tamiko@43-1.org>
Mon, 3 Jul 2023 04:03:19 +0000 (23:03 -0500)
tests/examples/create_diffs.sh
tests/examples/update.sh

index 515ad3f05725e5a19d76f39a94d846532d1554f7..d752616c9f835d64df3bc2dcf3b830f54e6d6e0f 100755 (executable)
@@ -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
index cede5e4bd4155db52196340de07b18982750e29c..1211532171abbda7f7d8195095f2362ac5f8ff95 100755 (executable)
@@ -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

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.