diff options
| author | Francesco Borzì <borzifrancesco@gmail.com> | 2021-11-05 08:58:17 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-05 08:58:17 +0100 |
| commit | dd79b7f63f06d2c52795c853a80e5d3e21ba4748 (patch) | |
| tree | c0768af4cfcf9888aadfc773ff90c95c3438e1bb /apps/ci | |
| parent | c91959bba97d56ba83136f5e08c368f7e0d1e316 (diff) | |
feat(CI): C++20 build (#8952)
Diffstat (limited to 'apps/ci')
| -rw-r--r-- | apps/ci/ci-conf.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/apps/ci/ci-conf.sh b/apps/ci/ci-conf.sh index 775dabdacc..4f9ef6fda0 100644 --- a/apps/ci/ci-conf.sh +++ b/apps/ci/ci-conf.sh @@ -19,6 +19,10 @@ DB_AUTH_CONF="MYSQL_USER='root'; MYSQL_PASS='root'; MYSQL_HOST='localhost';" DB_WORLD_CONF="MYSQL_USER='root'; MYSQL_PASS='root'; MYSQL_HOST='localhost';" CONFIG_SH +if [[ $ENABLE_CPP_20 -eq 1 ]]; then + echo "CUSE_CPP_20=ON" >> ./conf/config.sh +fi + case $COMPILER in # this is in order to use the "default" gcc version of the OS, without forcing a specific version |