File: 00-timestamps.patch

package info (click to toggle)
cvc4 1.8-5
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 70,008 kB
  • sloc: cpp: 274,686; sh: 5,836; python: 1,894; java: 929; lisp: 763; ansic: 275; perl: 214; makefile: 22; awk: 2
file content (17 lines) | stat: -rw-r--r-- 442 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 
Description: Make timestamps reproducible
Author: Fabian Wolff <fabi.wolff@arcor.de>
Forwarded: no
Last-Update: 2017-03-17
---
This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
--- a/src/base/configuration.cpp
+++ b/src/base/configuration.cpp
@@ -385,7 +385,7 @@
 }
 
 std::string Configuration::getCompiledDateTime() {
-  return __DATE__ " " __TIME__;
+  return DEB_BUILD_DATE " " DEB_BUILD_TIME;
 }
 
 }/* CVC4 namespace */