File: strip-build-date.patch

package info (click to toggle)
maude 3.2-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 18,420 kB
  • sloc: cpp: 120,919; sh: 4,241; makefile: 1,881; yacc: 1,722; lex: 847
file content (16 lines) | stat: -rw-r--r-- 582 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
Description: Strip build date
 Strip build date from banner, for reproducibility reasons.
Author: Alexis Bienvenüe <pado@passoire.fr>

--- a/src/Mixfix/banner.cc
+++ b/src/Mixfix/banner.cc
@@ -53,8 +53,7 @@ printBanner(std::ostream& s)
     Tty(Tty::GREEN) << 'e' <<
     Tty(Tty::RESET) << " ---\n";
   s << "\t\t     /||||||||||||||||||\\\n";
-  s << "\t     " << PACKAGE_STRING << " built: " <<
-    __DATE__ << ' ' << __TIME__ << '\n';
+  s << "\t     " << PACKAGE_STRING << '\n';
   s << "\t     Copyright 1997-2022 SRI International\n";
   s << "\t\t   " << ctime(&secs);
 }