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 8e7f80550774..86e65772c63a 100644 --- a/distro-configs/Jenkins/Linux_ubsan_master.conf +++ b/distro-configs/Jenkins/Linux_ubsan_master.conf @@ -15,7 +15,6 @@ --enable-gstreamer-1-0 --enable-python=fully-internal --enable-release-build ---enable-vlc --enable-werror --with-help --with-lang=de en-US fi hu |