seelabs 5b9e8a77ca Install gdb 8 for CI: ...

A bug in gdb is crashing when demangling some symbols. Gdb needs to be updated
to at least gdb 8.

Only run the debug build under gdb (other builds can time out).

2017-07-11 22:02:35 -04:00

..

ubuntu

Install gdb 8 for CI:

2017-07-11 22:02:35 -04:00

windows

Support parallel 64- and 32-bit boost binaries (RIPD-1317):

2016-11-18 12:17:29 -08:00