Description: Allow set the build date
 This patch moves the date command used for setting the build date to a
 variable, allowing to set the build date externally.
Author: Juan Picca <jumapico@gmail.com>,
 updated by Jakub Wilk <jwilk@debian.org>
Last-Update: 2015-05-25
---
--- a/Makefile.users
+++ b/Makefile.users
@@ -1,4 +1,5 @@
 ARCH = $(shell uname -m)
+BUILD_DATE ?= $(shell LANG=C date)
 
 VERSION=0.99.1
 
@@ -157,7 +158,7 @@ endif
 
 src/util/version.ml: config.status
 	@echo "let version = \""$(VERSION)"\"" >> src/util/version.ml
-	@echo "let date = \""`LANG=en_US; date`"\"" >> src/util/version.ml
+	@echo "let date = \""$(BUILD_DATE)"\"" >> src/util/version.ml
 	@echo "let bindir = \""$(BINDIR)"\"" >> src/util/version.ml
 	@echo "let libdir = \""$(LIBDIR)"\"" >> src/util/version.ml
 	@echo "let pluginsdir = \""$(PLUGINSDIR)"\"" >> src/util/version.ml
