From b302cb1f92aae1c0954c86065469e5c2b7206e74 Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Mon, 8 Mar 2021 23:27:03 -0800
Subject: Update copyright headers to 2021. (#6081)

---
 contrib/get-authors         | 1 +
 contrib/update-copyright.pl | 6 +++---
 2 files changed, 4 insertions(+), 3 deletions(-)

(limited to 'contrib')

diff --git a/contrib/get-authors b/contrib/get-authors
index 34cb6b345..8bd3c64a7 100755
--- a/contrib/get-authors
+++ b/contrib/get-authors
@@ -71,6 +71,7 @@ while [ $# -gt 0 ]; do
     sed 's/ayveejay/Andrew V. Jones/' | \
     sed 's/FabianWolff/Fabian Wolff/' | \
     sed 's/mudathirmahgoub/Mudathir Mohamed/' | \
+    sed 's/mcjuneho/Michael Chang/' | \
 
     # Determine top three contributors
     sort | uniq -c | sort -rn | head -n3 | \
diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl
index 6a8482e76..8e5db440a 100755
--- a/contrib/update-copyright.pl
+++ b/contrib/update-copyright.pl
@@ -1,7 +1,7 @@
 #!/usr/bin/perl -w
 #
 # update-copyright.pl
-# Copyright (c) 2009-2020  The CVC4 Project
+# Copyright (c) 2009-2021  The CVC4 Project
 #
 # usage: update-copyright [-m] [files/directories...]
 #        update-copyright [-h | --help]
@@ -51,7 +51,7 @@ $excluded_paths .= ')$';
 
 # Years of copyright for the template.  E.g., the string
 # "1985, 1987, 1992, 1997, 2008" or "2006-2009" or whatever.
-my $years = '2009-2020';
+my $years = '2009-2021';
 
 my $standard_template = <<EOF;
  ** This file is part of the CVC4 project.
@@ -236,7 +236,7 @@ sub handleFile {
       }
     }
     if (!$found_header_end) {
-      die "error: did not find end of copyright header secion (** or #)";
+      die "error: did not find end of copyright header secion (** or #) for file '$file'";
     }
   # No header found
   } else {
-- 
cgit v1.2.3