Update copyright year to 2018.
authorAndre Noll <maan@tuebingen.mpg.de>
Thu, 11 Jan 2018 08:04:17 +0000 (09:04 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 14 Jan 2018 21:23:24 +0000 (22:23 +0100)
Fortunately, there is only a single place to update.

Makefile.real

index b60c569..7648767 100644 (file)
@@ -18,7 +18,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 := 2017
+COPYRIGHT_YEAR := 2018
 
 ifeq ("$(origin O)", "command line")
        build_dir := $(O)