2019-10-21 01:39:03 -07:00
|
|
|
plumb extra-cmake-options
|
2017-01-24 06:23:15 -08:00
|
|
|
|
|
|
|
|
--- a/utils/build-presets.ini
|
|
|
|
|
+++ b/utils/build-presets.ini
|
2019-04-29 08:50:46 -07:00
|
|
|
@@ -743,6 +743,8 @@ install-destdir=%(install_destdir)s
|
2017-01-24 06:23:15 -08:00
|
|
|
# Path to the .tar.gz package we would create.
|
|
|
|
|
installable-package=%(installable_package)s
|
|
|
|
|
|
|
|
|
|
+extra-cmake-options=%(extra_cmake_options)s
|
|
|
|
|
+
|
|
|
|
|
[preset: buildbot_linux]
|
|
|
|
|
mixin-preset=mixin_linux_installation
|
|
|
|
|
build-subdir=buildbot_linux
|
