diff options
| author | Jack Lloyd <[email protected]> | 2016-06-07 09:24:06 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2016-06-07 09:24:06 -0400 |
| commit | 6816c9e71e01432792a997ad9a5d561b9cd94a48 (patch) | |
| tree | d28b758626ab83a306cef890c3a6d2ccbabe21d7 /src/lib/stream/ctr | |
| parent | a025e78f737d171848cd9b83fe567f0763d890f4 (diff) | |
Fix CircleCI build
The LLVM apt mirror was removed due to excessive load, preventing
us from installing a new enough Clang for our needs. However CircleCI
also supports Ubuntu 14.04 images, instead of the Ubuntu 12 we were
on. The new version has GCC 4.8 and Clang 3.4 as the base install.
Removes UBSan from the CircleCI sanitizer build, since that requires
at least GCC 4.9
GH #498
Diffstat (limited to 'src/lib/stream/ctr')
0 files changed, 0 insertions, 0 deletions