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/scripts/ci/circle | |
| 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/scripts/ci/circle')
| -rwxr-xr-x | src/scripts/ci/circle/gcc-sanitizer.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/scripts/ci/circle/gcc-sanitizer.sh b/src/scripts/ci/circle/gcc-sanitizer.sh index 33d474fc6..27d7268d9 100755 --- a/src/scripts/ci/circle/gcc-sanitizer.sh +++ b/src/scripts/ci/circle/gcc-sanitizer.sh @@ -5,7 +5,6 @@ which shellcheck > /dev/null && shellcheck "$0" # Run shellcheck on this if avai BUILD_NICKNAME=$(basename "$0" .sh) BUILD_DIR="./build-$BUILD_NICKNAME" -# Adding Ubsan here, only added in GCC 4.9 -./configure.py --with-build-dir="$BUILD_DIR" --with-debug-info --with-sanitizer --cc-abi-flags='-fsanitize=undefined' +./configure.py --with-build-dir="$BUILD_DIR" --with-debug-info --with-sanitizer make -j 2 -f "$BUILD_DIR"/Makefile "$BUILD_DIR"/botan-test |