From 0ebb7e2b2e8599d5aea81fee2c2bbbed90af6f65 Mon Sep 17 00:00:00 2001
From: Andre Noll <maan@tuebingen.mpg.de>
Date: Thu, 11 Jan 2018 09:04:17 +0100
Subject: [PATCH] Update copyright year to 2018.

Fortunately, there is only a single place to update.
---
 Makefile.real | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.real b/Makefile.real
index b60c5698..76487677 100644
--- 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)
-- 
2.39.2