diff options
Diffstat (limited to 'distro-configs')
| -rw-r--r-- | distro-configs/Jenkins/Linux_ubsan_master.conf | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/distro-configs/Jenkins/Linux_ubsan_master.conf b/distro-configs/Jenkins/Linux_ubsan_master.conf index d01bb152487a..bfc7465d50ff 100644 --- a/distro-configs/Jenkins/Linux_ubsan_master.conf +++ b/distro-configs/Jenkins/Linux_ubsan_master.conf @@ -23,7 +23,6 @@ --without-system-libxml --without-system-zlib --with-system-cairo ---with-system-nss --disable-compiler-plugins --disable-gtk3 --with-jdk-home=/etc/alternatives/java_sdk_11 |