Add Fedora 20 tracking stable-1.24 branch.

[goaljobs-goals.git] / config.ml

diff --git a/config.ml b/config.ml
index 251bfa8..6016647 100644 (file)
--- a/config.ml
+++ b/config.ml
@@ -9,10 +9,10 @@ open Printf
 let buildtmp = sprintf "%s/tmp/builds" (Sys.getenv "HOME")
 
 (* libguestfs *)
-let libguestfs_query_mins = 5
+let libguestfs_query_mins = 60
 
-let libguestfs_website_cvs =
-  sprintf "%s/d/redhat/websites/libguestfs" (Sys.getenv "HOME")
+let libguestfs_website_repo =
+  sprintf "%s/d/websites/libguestfs" (Sys.getenv "HOME")
 
 let libguestfs_localconfigure source =
   let configure =
@@ -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