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
@@ -405,7 +405,7 @@
}
std::string Configuration::getCompiledDateTime() {
- return __DATE__ " " __TIME__;
+ return DEB_BUILD_DATE " " DEB_BUILD_TIME;
}
}/* CVC4 namespace */
|
