X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=fedora.ml;h=79a96780fd75fae0df19cbe79e87c3c28e9160d1;hb=ba6f1a85ac41534facc0bbbd0441710be295657f;hp=b40a67ccd1465a427268727f8f6bd424b07b58b0;hpb=9dfeb3e1660da8d4d81c2e8a03a863be2d224f54;p=goaljobs-goals.git diff --git a/fedora.ml b/fedora.ml index b40a67c..79a9678 100644 --- a/fedora.ml +++ b/fedora.ml @@ -135,13 +135,15 @@ let koji_build = contains_substring "Name or service not known" in let completed_successfully = contains_substring "completed successfully" in let failed = contains_substring "FAILED" in - fun ?(wait = true) pkg branch -> + fun ?(wait = true) ?side_tag pkg branch -> let repodir = fedora_repo pkg branch in let out = shout " cd %s - fedpkg build%s 2>&1 - " repodir (if not wait then " --nowait" else "") + fedpkg build%s%s 2>&1 + " repodir + (if not wait then " --nowait" else "") + (match side_tag with None -> "" | Some t -> " --target " ^ t) in if not wait then ( (* Just check the task was created. *)