From: Richard W.M. Jones <rjones@redhat.com>
Date: Tue, 7 Jan 2020 11:50:40 +0000 (+0000)
Subject: Use koji build directly instead of fedpkg build.
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=9bc4fd20371e32d5302a211e7b4aef36538bed4c;hp=695f007ab3eac0e1988cd59eba69f7451788bc4d;p=fedora-ocaml-rebuild.git

Use koji build directly instead of fedpkg build.

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

diff --git a/Goalfile b/Goalfile
index 19ed946..6d4ef07 100644
--- a/Goalfile
+++ b/Goalfile
@@ -103,7 +103,12 @@ goal rebuild (pkg) =
     fi
     fedpkg commit -c
     fedpkg push
-    fedpkg build
+    if [ %koji = "koji" ]; then
+        fedpkg build
+    else
+        hash=$(git rev-parse HEAD)
+        %koji build "git+https://src.fedoraproject.org/rpms/"%pkg".git#$hash" %side-tag
+    fi
 }
 
 # Get the source package names for a particular package.