Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Set value True by default, but other added options still default to false. diff --git a/options.conf b/options.conf index ed481d682825..127ec6e6ffaa 100644 --- a/options.conf +++ b/options.conf @@ -59,6 +59,16 @@ server = false skip_tests = false # add .so files to the lib package instead of dev so_to_lib = false +# configure build for apx +use_apx = true +# configure build for avx2 +use_avx2 = false +# configure build for avx512 +use_avx512 = false +# add clang flags +use_clang = false +# configure build for lto +use_lto = false # require package verification for build verify_required = false
- Loading branch information