diff options
Diffstat (limited to 'distro-configs')
| -rw-r--r-- | distro-configs/Jenkins/linux_clang_dbgutil_64 | 2 | ||||
| -rw-r--r-- | distro-configs/Jenkins/linux_gcc_release_64 | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/distro-configs/Jenkins/linux_clang_dbgutil_64 b/distro-configs/Jenkins/linux_clang_dbgutil_64 index b2c041a55c5d..6262dae9276e 100644 --- a/distro-configs/Jenkins/linux_clang_dbgutil_64 +++ b/distro-configs/Jenkins/linux_clang_dbgutil_64 @@ -6,3 +6,5 @@ --disable-split-debug --with-jdk-home=/etc/alternatives/java_sdk_11 --enable-odk +--disable-dconf +--enable-python=internal diff --git a/distro-configs/Jenkins/linux_gcc_release_64 b/distro-configs/Jenkins/linux_gcc_release_64 index 1c61522d4099..37f0b4b46946 100644 --- a/distro-configs/Jenkins/linux_gcc_release_64 +++ b/distro-configs/Jenkins/linux_gcc_release_64 @@ -5,3 +5,5 @@ CXX=/opt/rh/devtoolset-7/root/usr/bin/g++ --with-jdk-home=/etc/alternatives/java_sdk_11 --enable-odk --enable-mergelibs +--disable-dconf +--enable-python=internal |