fedora-ocaml-rebuild.git
5 years agoUse koji build directly instead of fedpkg build.
Richard W.M. Jones [Tue, 7 Jan 2020 11:50:40 +0000 (11:50 +0000)]
Use koji build directly instead of fedpkg build.

Allows us to specify an alternative koji --profile option in %koji.

5 years agoWait for dependencies to appear in the repo before building.
Richard W.M. Jones [Tue, 7 Jan 2020 11:50:14 +0000 (11:50 +0000)]
Wait for dependencies to appear in the repo before building.

5 years agoAllow koji to be changed.
Richard W.M. Jones [Tue, 7 Jan 2020 11:49:49 +0000 (11:49 +0000)]
Allow koji to be changed.

5 years agoRemove unused yum-repo variable.
Richard W.M. Jones [Tue, 7 Jan 2020 11:49:14 +0000 (11:49 +0000)]
Remove unused yum-repo variable.

5 years agoInitial commit.
Richard W.M. Jones [Mon, 6 Jan 2020 10:40:32 +0000 (10:40 +0000)]
Initial commit.