Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
openSUSE:Leap:15.1
z3
remove-timestamp.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File remove-timestamp.patch of Package z3
From: Jiri Slaby <jslaby@suse.cz> Subject: Remove timestamp Nobody wants timestamps, it's bogus as it causes irreproducible builds. Remove that crap from api_log. --- src/api/api_log.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) --- a/src/api/api_log.cpp +++ b/src/api/api_log.cpp @@ -50,7 +50,7 @@ extern "C" { res = Z3_FALSE; } else { - *g_z3_log << "V \"" << Z3_MAJOR_VERSION << "." << Z3_MINOR_VERSION << "." << Z3_BUILD_NUMBER << "." << Z3_REVISION_NUMBER << " " << __DATE__ << "\"\n"; + *g_z3_log << "V \"" << Z3_MAJOR_VERSION << "." << Z3_MINOR_VERSION << "." << Z3_BUILD_NUMBER << "." << Z3_REVISION_NUMBER << "\"\n"; g_z3_log->flush(); g_z3_log_enabled = true; }
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor