X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=fedora.ml;h=b40a67ccd1465a427268727f8f6bd424b07b58b0;hb=aada1d9897b2df4bb10c39707a01b5752e4de27f;hp=7d1d70bfdf3297135467a84809a6e3c520944805;hpb=0d2e46d0e9958d635550bbe3df0a985f129914c0;p=goaljobs-goals.git diff --git a/fedora.ml b/fedora.ml index 7d1d70b..b40a67c 100644 --- a/fedora.ml +++ b/fedora.ml @@ -5,11 +5,7 @@ open Printf open Goaljobs -(* Repo dir, etc. *) -let fedora_dir = Sys.getenv "HOME" // "d/fedora" -let fedora_repo pkg branch = fedora_dir // pkg // branch -let fedora_specfile pkg branch = - sprintf "%s/%s.spec" (fedora_repo pkg branch) pkg +open Config (* Get the current version of a package. *) let fedora_verrel pkg branch = @@ -150,7 +146,6 @@ let koji_build = if not wait then ( (* Just check the task was created. *) if not (Pcre.pmatch ~rex:created_task out) then ( - eprintf "%s\n%!" out; failwith "fedpkg build: build failed to start" ) ) else ( @@ -169,7 +164,6 @@ let koji_build = else if completed_successfully out then () else if failed out then ( - eprintf "%s\n%!" out; failwith "koji build failed" ) else