diff options
author | David Kalnischkies <david@kalnischkies.de> | 2016-06-17 17:56:45 +0200 |
---|---|---|
committer | David Kalnischkies <david@kalnischkies.de> | 2016-06-17 18:09:20 +0200 |
commit | 1d742e01470bba27715a8191c50adde4b39c2f19 (patch) | |
tree | 48f02f06d810b0d0607189fbe9058b121148700b /vendor/makefile | |
parent | b90faf2486b977aef0183e38a7f9c535a8a61a34 (diff) |
avoid std::get_time usage to sidestep libstdc++6 bug
As reported upstream in
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71556
the implementation of std::get_time is currently not as accepting as
strptime is, especially in how hours should be formatted.
Just reverting 9febc2b238e1e322dce1f94ecbed46d595893b52 would be
possible, but then we would reopen the problems fixed by it, so instead
I opted here for a rewrite of the parsing logic which makes this method
a lot longer, but at least it provides the same benefits as the rewrite
in std::get_time was intended to give us and decouples us from the fix
of the issue in the standard library implementation of GCC.
LP: 1593583
Diffstat (limited to 'vendor/makefile')
0 files changed, 0 insertions, 0 deletions