From: Richard W.M. Jones Date: Tue, 25 Feb 2020 22:22:36 +0000 (+0000) Subject: Another tactic -> predicate replacement. X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=35930e14be6f3c0401df989709dd654275117c30;hp=8bd3d2b6a5d8e01b5e1fd6b77f0e1fb03f6027d9;p=fedora-ocaml-rebuild.git Another tactic -> predicate replacement. --- diff --git a/Goalfile b/Goalfile index 8022963..c63832f 100644 --- a/Goalfile +++ b/Goalfile @@ -57,4 +57,4 @@ pure function get-source-packages () returning strings = { let fedora-source-packages = get-source-packages () # Main goal: Rebuild all packages in Koji. -goal all = : wrap ("*koji-built", fedora-source-packages) +goal all = : wrap ("is-koji-built", fedora-source-packages)