fedora-ocaml-rebuild.git
4 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.

4 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.

4 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.

4 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.

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