diff options
| -rw-r--r-- | .ci/common.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.ci/common.sh b/.ci/common.sh index d84a306885..76faf595c8 100644 --- a/.ci/common.sh +++ b/.ci/common.sh @@ -67,3 +67,5 @@ install_prebuilt_deps sudo apt-mark hold oracle-java7-installer oracle-java8-installer sudo apt-get update + +export CFLAGS='-DMIN_LOG_LEVEL=0' # force verification of DLOG macros |