From b3757beea2d9dced8a8fc359f76dd58525bdbf61 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Wed, 16 Mar 2016 16:29:29 +0000 Subject: [PATCH] Disable erlang. Remove obsolete comment about --enable-valgrind-daemon. erlang is broken in Rawhide so disable it. The --enable-valgrind-daemon option no longer exists. --- config.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/config.ml b/config.ml index 87d53bd..dddf5a5 100644 --- a/config.ml +++ b/config.ml @@ -29,8 +29,8 @@ let libguestfs_localconfigure source = #!/bin/bash - . localenv -# NB: --enable-valgrind-daemon is disabled because we -# should be checking production builds. +# erlang is disabled because it is broken in Rawhide: +# https://bugzilla.redhat.com/show_bug.cgi?id=1316206 %s \\ --prefix /usr \\ @@ -39,6 +39,7 @@ let libguestfs_localconfigure source = --enable-werror \\ --enable-gtk-doc \\ --disable-golang \\ + --disable-erlang \\ -C \\ \"$@\" " configure -- 1.8.3.1