]> https://gitweb.dealii.org/ - dealii.git/commitdiff
propagate error code 8511/head
authorTimo Heister <timo.heister@gmail.com>
Thu, 8 Aug 2019 19:47:14 +0000 (13:47 -0600)
committerTimo Heister <timo.heister@gmail.com>
Thu, 8 Aug 2019 19:47:14 +0000 (13:47 -0600)
contrib/utilities/indent_common.sh

index 086dad381e903a03d48dce4795687230f8d17599..1c6d8e0a09d4d4418968b136b081626dc46eb940 100644 (file)
@@ -88,7 +88,7 @@ checks() {
          echo "invalid author '$name' without firstname and lastname"
          exit 2
       fi
-  done
+  done || exit 2
 
   # now emails:
   git log --since "2019-01-01" --format="%aE" | sort -u | while read email ; do
@@ -101,7 +101,7 @@ checks() {
          echo "invalid email '$email'"
          exit 3
       fi
-  done
+  done || exit 3
 
 }
 

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.