pari/pari-nodate.diff

27 lines
950 B
Diff

From: Jan Engelhardt <jengelh@inai.de>
Date: 2014-02-05 03:01:02.110857012 +0100
Kill __DATE__ from source, it's pointless and can cause rebuilds.
---
src/gp/gp.c | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
Index: pari-2.5.5/src/gp/gp.c
===================================================================
--- pari-2.5.5.orig/src/gp/gp.c
+++ pari-2.5.5/src/gp/gp.c
@@ -823,9 +823,9 @@ print_version(void)
center(paricfg_version);
center(paricfg_buildinfo);
- buf = stackmalloc(strlen(__DATE__) + 32 + (ver? strlen(ver): 0));
- if (ver) (void)sprintf(buf, "compiled: %s, %s", __DATE__, ver);
- else (void)sprintf(buf, "compiled: %s", __DATE__);
+ buf = stackmalloc(strlen("yes") + 32 + (ver? strlen(ver): 0));
+ if (ver) (void)sprintf(buf, "compiled: %s, %s", "yes", ver);
+ else (void)sprintf(buf, "compiled: %s", "yes");
center(buf);
ver = what_readline();
buf = stackmalloc(strlen(ver) + 64);