X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=config.ml;h=60166470e47eef038c9d9962dd0b7ac58dddbd08;hb=337432e0edece84d7c4d4894c9ce9d76fa729252;hp=6b44dc90ec9fe544271eca472f4f045449447b1e;hpb=0aa1cf778d664452a5cf467ca5866b6e721f2aff;p=goaljobs-goals.git diff --git a/config.ml b/config.ml index 6b44dc9..6016647 100644 --- a/config.ml +++ b/config.ml @@ -23,13 +23,15 @@ let libguestfs_localconfigure source = #!/bin/bash - . localenv +# NB: --enable-valgrind-daemon is disabled because we +# should be checking production builds. + %s \\ --prefix /usr \\ --disable-static \\ --with-default-backend=libvirt \\ --enable-gcc-warnings \\ --enable-gtk-doc \\ - --enable-valgrind-daemon \\ -C \\ \"$@\" " configure