Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
openSUSE:Leap:15.2:Update
z3
remove-timestamp.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File remove-timestamp.patch of Package z3
From 22ff49d575f0e11dfb2b251ae68f5cf8bdd2c069 Mon Sep 17 00:00:00 2001 From: Jiri Slaby <jslaby@suse.cz> Date: Thu, 10 Oct 2019 10:19:23 +0200 Subject: [PATCH] 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(-) diff --git a/src/api/api_log.cpp b/src/api/api_log.cpp index e82ec3fd1..1efa09b95 100644 --- a/src/api/api_log.cpp +++ b/src/api/api_log.cpp @@ -54,7 +54,7 @@ extern "C" { res = 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; } -- 2.21.0
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
