X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=stdlib%2Ffedora.gl;fp=stdlib%2Ffedora.gl;h=5267342fed73a60ed996b3b1377259c66a8f3874;hb=5e13f1e2a3dc1237fcf2fa141d8379bdd36bde61;hp=08ec8862e3e4758dd61dfafe0cd970538c17417a;hpb=8a0ede3292b4968b1e3261ad97b96d5ea0ad16fd;p=goals.git

diff --git a/stdlib/fedora.gl b/stdlib/fedora.gl
index 08ec886..5267342 100644
--- a/stdlib/fedora.gl
+++ b/stdlib/fedora.gl
@@ -50,7 +50,7 @@
 
 # Check if the source package has been built in Koji.
 
-tactic *koji-built (pkg) = {
+predicate is-koji-built (pkg) = {
     cd %fedora-dir/%pkg/%fedora-branch
     koji=%koji
     specfile=%pkg.spec
@@ -98,7 +98,8 @@ tactic *koji-built (pkg) = {
 # Rebuild a Fedora package.  This rebuilds any dependencies first.
 
 goal fedora-rebuild (pkg) =
-*koji-built ("%pkg") : wrap ("*koji-built", fedora-source-dependencies (pkg)) {
+is-koji-built ("%pkg") : wrap ("is-koji-built",
+                               fedora-source-dependencies (pkg)) {
     cd %fedora-dir/%pkg/%fedora-branch
     fedpkg=%fedpkg
     koji=%koji