Makefile.real: Remove duplicate $build_date.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 7 May 2016 08:59:33 +0000 (10:59 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 8 May 2016 12:29:27 +0000 (14:29 +0200)
This was introduced one year ago in commit e080d112.

Makefile.real

index 289e027..cc8225b 100644 (file)
@@ -19,7 +19,6 @@ 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)
-build_date := $(shell date)
 
 ifeq ("$(origin O)", "command line")
        build_dir := $(O)