🔥 remove useless line

This commit is contained in:
Niels Lohmann 2021-01-03 20:15:03 +01:00
parent f1913fe7a9
commit 384442e8e5
No known key found for this signature in database
GPG Key ID: 7F3CEA63AE251B69

View File

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