Fix verify-authors.sh to fail if AUTHORS is out of date (#50)

* Fix verify-authors.sh to fail if AUTHORS is out of date * Update AUTHORS file
zlabjp · Oct 24, 2018 · f7d489c · f7d489c
1 parent 9112a93
commit f7d489c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/AUTHORS b/AUTHORS
@@ -7,3 +7,5 @@ Tanner Bruce
 Takuhiro Yoshida
 O. Yuanying
 Anne Schuth
+Werner Buck
+Lucas de Haas
diff --git a/scripts/verify-authors.sh b/scripts/verify-authors.sh
@@ -20,4 +20,5 @@ if [[ $ret -eq 0 ]]; then
   echo "AUTHORS is up to date."
 else
   echo "AUTHORS is out of date. Please run scripts/update-authors.sh."
+  exit 1
 fi
-Original file line number
+Diff line change
@@ Expand Up / @@ -20,4 +20,5 @@ if [[ $ret -eq 0 ]]; then @@
       echo "AUTHORS is up to date."
     else
       echo "AUTHORS is out of date. Please run scripts/update-authors.sh."
+      exit 1
     fi