Update copyright year to 2018.

Fortunately, there is only a single place to update.

diff --git a/Makefile.real b/Makefile.real
index b60c56984e4fd707378a3f462d2d522825de5f45..7648767732470d0bc0e10adb2a69e981f709fceb 100644 (file)
--- a/Makefile.real
+++ b/Makefile.real
@@ -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)