diff options
| author | Kargatum <dowlandtop@yandex.com> | 2021-07-15 04:47:40 +0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-14 23:47:40 +0200 |
| commit | b680670047a2fa4c56aa9ec1a99753f7d30cc5d9 (patch) | |
| tree | a04d36828f003acd211b7fe0aa4cfcb91661765c /apps/ci | |
| parent | ecea48fece8121c57d9a9761971aa66810f6cf3f (diff) | |
feat(CMake): delete EXTRA_LOGS (#6897)
Diffstat (limited to 'apps/ci')
| -rw-r--r-- | apps/ci/ci-conf.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/apps/ci/ci-conf.sh b/apps/ci/ci-conf.sh index f1499de7c3..775dabdacc 100644 --- a/apps/ci/ci-conf.sh +++ b/apps/ci/ci-conf.sh @@ -70,9 +70,3 @@ case $COMPILER in exit 1 ;; esac - -if [[ $EXTRA_LOGS ]]; then - echo "CEXTRA_LOGS=1" >> ./conf/config.sh -else - echo "CEXTRA_LOGS=0" >> ./conf/config.sh -fi |