git.annexia.org
/
goaljobs-goals.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Temporarily ignore graphviz.
[goaljobs-goals.git]
/
fedora.ml
diff --git
a/fedora.ml
b/fedora.ml
index
6575dbf
..
79a9678
100644
(file)
--- a/
fedora.ml
+++ b/
fedora.ml
@@
-5,11
+5,7
@@
open Printf
open Goaljobs
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 =
(* Get the current version of a package. *)
let fedora_verrel pkg branch =
@@
-139,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
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
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. *)
in
if not wait then (
(* Just check the task was created. *)