Block coq while jjames looks at it.

[goaljobs-goals.git] / config.ml

diff --git a/config.ml b/config.ml
index 7018e88..16b3502 100644 (file)
--- a/config.ml
+++ b/config.ml
@@ -39,13 +39,14 @@ let libguestfs_localconfigure source =
 # https://bugzilla.redhat.com/show_bug.cgi?id=1316206
 
 %s \\
+  PYTHON=/usr/bin/python3 \\
   --prefix /usr \\
   --disable-static \\
   --with-default-backend=libvirt \\
-  --enable-werror \\
   --enable-gtk-doc \\
   --disable-golang \\
   --disable-erlang \\
+  --with-virt-v2v-nbdkit-python-plugin=python3 \\
   -C \\
   \"$@\"
 " configure
@@ -107,9 +108,16 @@ export SKIP_TEST_9P_SH=1
 # REMOVE THIS when fixed.
 export SKIP_TEST820RHBZ912499_PY=1
 
-# gobject is broken
-# https://bugzilla.redhat.com/show_bug.cgi?id=1524125
-export SKIP_RUN_LIVE_TESTS=1
+# ntfsclone is broken in Rawhide (RHBZ#1601146).
+export SKIP_TEST_NTFSCLONE_SH=1
+
+# Kernel broken.
+# https://bugzilla.redhat.com/show_bug.cgi?id=1657200
+export SKIP_TEST_BIG_DIRS_PL=1
+
+# Setting hostname on Ubuntu 18.04 is broken.
+# https://bugzilla.redhat.com/show_bug.cgi?id=1658307
+export SKIP_TEST_SETTINGS_UBUNTU_18_04_SH=1
 " ^
     match supermin with
     | None -> ""