git.annexia.org
/
goaljobs-goals.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
70e1c9d
)
Unset MAKEFLAGS so it doesn't affect local builds.
author
Richard W.M. Jones
<rjones@redhat.com>
Sat, 2 Aug 2014 07:40:43 +0000
(08:40 +0100)
committer
Richard W.M. Jones
<rjones@redhat.com>
Sat, 2 Aug 2014 07:40:43 +0000
(08:40 +0100)
fedora_ocaml_rebuild.ml
patch
|
blob
|
history
diff --git
a/fedora_ocaml_rebuild.ml
b/fedora_ocaml_rebuild.ml
index
d316f77
..
9c3cffc
100644
(file)
--- a/
fedora_ocaml_rebuild.ml
+++ b/
fedora_ocaml_rebuild.ml
@@
-103,6
+103,9
@@
let install_build_dependencies pkg =
sh "sudo yum-builddep -y --disablerepo=\\* --enablerepo=%s %s"
(quote yum_repo) (fedora_specfile pkg branch)
+(* Unset MAKEFLAGS so it doesn't affect local builds. *)
+let () = Unix.putenv "MAKEFLAGS" ""
+
(* Goal: rebuild all packages. *)
let rec goal all () =
List.iter (fun pkg -> require (rebuild_started pkg)) source_packages