⚗️ set CXXFLAGS

This commit is contained in:
Niels Lohmann 2019-12-19 12:25:27 +01:00
parent a2fea87ef6
commit 6b31375c7c
No known key found for this signature in database
GPG Key ID: 7F3CEA63AE251B69

View File

@ -329,6 +329,7 @@ script:
# make sure CXX is correctly set # make sure CXX is correctly set
- if [[ "${COMPILER}" != "" ]]; then export CXX=${COMPILER}; fi - if [[ "${COMPILER}" != "" ]]; then export CXX=${COMPILER}; fi
- if [[ "${CXXFLAGS}" != "" ]]; then export CXXFLAGS=${CXXFLAGS}; fi
# by default, use the single-header version # by default, use the single-header version
- if [[ "${MULTIPLE_HEADERS}" == "" ]]; then export MULTIPLE_HEADERS=OFF; fi - if [[ "${MULTIPLE_HEADERS}" == "" ]]; then export MULTIPLE_HEADERS=OFF; fi