Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:Ledest:erlang:24
erlang
otp_src_18.2.2-dialyzer-fix-timing.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File otp_src_18.2.2-dialyzer-fix-timing.patch of Package erlang
diff -Ndur otp_src_18.2.2/lib/dialyzer/src/dialyzer_timing.erl otp_src_18.2.2-dialyzer-fix-timing/lib/dialyzer/src/dialyzer_timing.erl --- otp_src_18.2.2/lib/dialyzer/src/dialyzer_timing.erl 2016-01-08 14:09:37.000000000 +0200 +++ otp_src_18.2.2-dialyzer-fix-timing/lib/dialyzer/src/dialyzer_timing.erl 2016-01-22 18:25:24.951501659 +0200 @@ -49,7 +49,7 @@ loop(LastNow, Size, Unit) -> receive {stamp, Msg, Now} -> - io:format(" ~-10s (+~4.2fs):", [Msg, diff(Now, LastNow)]), + io:format(" ~-10s (+~5.2fs):", [Msg, diff(Now, LastNow)]), loop(Now, 0, ""); {stamp, Now} -> SizeStr =
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