From: Richard W.M. Jones <rjones@redhat.com>
Date: Sat, 18 Jan 2020 12:30:08 +0000 (+0000)
Subject: Rename *built-in-koji -> *koji-built.
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=054c270b2169f548c4572649f0810f3313ae227a;hp=939a1a4cbf210d3d8dc7728d5a77beef0dbf670d;p=fedora-ocaml-rebuild.git

Rename *built-in-koji -> *koji-built.

Compatible with the talk I gave.
---

diff --git a/Goalfile b/Goalfile
index 02c9611..0890489 100644
--- a/Goalfile
+++ b/Goalfile
@@ -53,13 +53,13 @@ pure function get-source-packages () returning strings = {
         [ -f $f/%branch/$f.spec ] && echo "$f"
     done
 }
-let source-packages = wrap ("*built-in-koji", get-source-packages ())
+let source-packages = wrap ("*koji-built", get-source-packages ())
 
 # Main goal: Rebuild all packages.
 goal all = : source-packages ;
 
 # Check if the source package has been built in Koji.
-tactic *built-in-koji (pkg) = {
+tactic *koji-built (pkg) = {
     cd %fedora-dir/%pkg/%branch
     koji=%koji
     specfile=%pkg.spec
@@ -105,7 +105,7 @@ tactic *built-in-koji (pkg) = {
 }
 
 goal rebuild (pkg) =
-*built-in-koji ("%pkg") : wrap ("*built-in-koji", source-dependencies (pkg)) {
+*koji-built ("%pkg") : wrap ("*koji-built", source-dependencies (pkg)) {
     cd %fedora-dir/%pkg/%branch
     fedpkg=%fedpkg
     koji=%koji