mdbx-make: support for make options to list available build options.

Change-Id: Ib153834241e33c672867aa402d3fc66a06a489fa
This commit is contained in:
Leonid Yuriev
2021-04-30 14:05:36 +03:00
parent 0054f5388a
commit 70b7ec0c1c
5 changed files with 63 additions and 28 deletions

View File

@@ -22,7 +22,7 @@ on:
env:
COVERITY_SCAN_PROJECT_NAME: 'ReOpen/libmdbx'
COVERITY_SCAN_TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }}
COVERITY_SCAN_BUILD_COMMAND: 'make MDBX_OPTIONS=-DMDBX_DEBUG=2 CXXSTD=-std=gnu++17 build-test'
COVERITY_SCAN_BUILD_COMMAND: 'make MDBX_BUILD_OPTIONS=-DMDBX_DEBUG=2 CXXSTD=-std=gnu++17 build-test'
COVERITY_SCAN_NOTIFICATION_EMAIL: 'leo@yuriev.ru'
COVERITY_UNSUPPORTED_COMPILER_INVOCATION: 1