Update copyright year.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 11 Apr 2020 16:24:45 +0000 (18:24 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Fri, 8 May 2020 15:20:19 +0000 (17:20 +0200)
Fortunately, there is only a single location that needs to be
updated.

Makefile.real

index 7d4eff4..ddf85b5 100644 (file)
@@ -20,7 +20,7 @@ uname_s := $(shell uname -s 2>/dev/null || echo "UNKNOWN_OS")
 uname_rs := $(shell uname -rs)
 cc_version := $(shell $(CC) --version | head -n 1)
 GIT_VERSION := $(shell ./GIT-VERSION-GEN git-version.h)
-COPYRIGHT_YEAR := 2019
+COPYRIGHT_YEAR := 2020
 
 ifeq ("$(origin O)", "command line")
        build_dir := $(O)