diff options
| author | Jack Lloyd <[email protected]> | 2015-10-26 15:36:23 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2015-10-26 15:36:23 -0400 |
| commit | 299119f02c09e7d3e657b13e1706cb653eff560c (patch) | |
| tree | 18227f400786a023ca7a13cd8f6f541d56c962f7 /src/build-data/makefile/header.in | |
| parent | 54540244c1d89faa5b359c75a9c38b6fed0a08c9 (diff) | |
Remove --build-mode and add individual toggles for optimization, debug,
sanitizers and coverage as all 4 are usefully set independently.
Use GCC 4.9 on CircleCI as it seems to be supported. Add ASan + UBSan test.
Diffstat (limited to 'src/build-data/makefile/header.in')
| -rw-r--r-- | src/build-data/makefile/header.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/build-data/makefile/header.in b/src/build-data/makefile/header.in index 3c4272d05..eaf4b511d 100644 --- a/src/build-data/makefile/header.in +++ b/src/build-data/makefile/header.in @@ -1,5 +1,5 @@ # Compiler Options -CXX = %{cxx} +CXX = %{cxx} %{cxx_abi_flags} LINKER = %{linker} CXXFLAGS = %{cc_compile_flags} |