From: Jan Engelhardt 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);