From 6db706e8574eb472c5dabea292bf52b0edda9236 Mon Sep 17 00:00:00 2001
From: Steffen Jaeckel <s@jaeckel.eu>
Date: Sat, 25 Apr 2015 15:10:33 +0200
Subject: [PATCH] bring back __DATE__ to fp_ident(), but it's disabled by
 default

---
 src/misc/fp_ident.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/misc/fp_ident.c b/src/misc/fp_ident.c
index 3e0ff38..6ec820b 100644
--- a/src/misc/fp_ident.c
+++ b/src/misc/fp_ident.c
@@ -16,6 +16,9 @@ const char *fp_ident(void)
    memset(buf, 0, sizeof(buf));
    snprintf(buf, sizeof(buf)-1,
 "TomsFastMath\n"
+#if defined(TFM_IDENT_BUILD_DATE)
+"Built on " __DATE__ " at " __TIME__ "\n"
+#endif
 "\n"
 "Sizeofs\n"
 "\tfp_digit = %lu\n"