diff options
| author | Patrick Lewis <pat@lo5t.com> | 2021-04-11 07:08:15 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-11 16:08:15 +0200 |
| commit | 81301c67d95a1e51bd269e8f4a49f373ecefeb42 (patch) | |
| tree | 04314c134c56834e46a7f1fb92fba362d699b351 /conf/dist/config.sh | |
| parent | b9ae587b6b37355448c30301f7cccd50175117cd (diff) | |
feat(CI): add extra_logs to build matrix and update warden ByteArrayToHexStr (#5102)
Diffstat (limited to 'conf/dist/config.sh')
| -rw-r--r-- | conf/dist/config.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/conf/dist/config.sh b/conf/dist/config.sh index 91d987fb3a..8feef71197 100644 --- a/conf/dist/config.sh +++ b/conf/dist/config.sh @@ -56,6 +56,8 @@ CTOOLS=OFF # use precompiled headers ( fatest compilation but not optimized if you change headers often ) CSCRIPTPCH=ON CCOREPCH=ON +# enable/disable extra logs +CEXTRA_LOGS=0 # Skip specific modules from compilation (cmake reconfigure needed) # use semicolon ; to separate modules |