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

[fedora-ocaml-rebuild.git] / Goalfile

diff --git a/Goalfile b/Goalfile
index 02c9611..0890489 100644 (file)
--- 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