From ea68fba0d79905297dd256a1c54580155ed797c1 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 7 Jan 2020 11:49:49 +0000 Subject: [PATCH] Allow koji to be changed. --- Goalfile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/Goalfile b/Goalfile index 0df6b07..67691bf 100644 --- a/Goalfile +++ b/Goalfile @@ -4,6 +4,7 @@ let fedora-dir = "%HOME/d/fedora" let branch = "master" let side-tag = "f32-build-side-999999" +let koji = "koji" # The magic string that must appear in %changelog when the # package has been rebuilt. @@ -54,7 +55,7 @@ tactic *built-in-koji (pkg) = { # Else we must check Koji itself. nvr=$(fedpkg verrel) - buildinfo=$(koji buildinfo $nvr) + buildinfo=$(%koji buildinfo $nvr) # No build at all, needs rebuild. echo "$buildinfo" | grep -sq "No such build" && exit 99 @@ -72,7 +73,7 @@ tactic *built-in-koji (pkg) = { exit 1 ;; BUILDING) # Cancel the build, we will resubmit it. - koji cancel $taskid + %koji cancel $taskid exit 99 ;; CANCELED|DELETED) # Do a rebuild. -- 1.8.3.1