X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=stdlib%2Ffedora.gl;h=ada6a40e109d256fbc827f6065e95d22c0b8e911;hb=830b616204b3c08429440381349c86c8073ac161;hp=08ec8862e3e4758dd61dfafe0cd970538c17417a;hpb=06e365e7720b9024e083f84625fb28f55c772688;p=goals.git

diff --git a/stdlib/fedora.gl b/stdlib/fedora.gl
index 08ec886..ada6a40 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