diff options
author | David Kalnischkies <david@kalnischkies.de> | 2016-05-28 17:02:26 +0200 |
---|---|---|
committer | David Kalnischkies <david@kalnischkies.de> | 2016-05-28 18:12:02 +0200 |
commit | 2b8221d66a8284042fc53c7bbb14bb9750e9137f (patch) | |
tree | 94ced7fcad0afc093966b7e05e1e109649fc3a60 /Makefile | |
parent | 570ec96dbf4f720d8eff694f8c4429e0b0a033b4 (diff) |
travis: use gcc-5 instead of gcc(-4.9)
The std::put_time and std::get_time introduced in
9febc2b238e1e322dce1f94ecbed46d595893b52 are part of C++11, but not
implemented in GCC until version 5. std::put_time could actually be
worked around via using the facets put() directly, but get() isn't
implemented so that doesn't really help.
We require various tools from wily (which also means we can't build apt
on Debian stable) already, so requiring gcc-5 is just one more instead
of a big step [and an ignoreable change for changelog anyhow].
It also helps in testing what will actually be used (in terms of the
c++11 std ABI) instead of the old ABI.
Git-Dch: Ignore
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions