From: Richard W.M. Jones <rjones@redhat.com>
Date: Mon, 1 Mar 2021 12:46:25 +0000 (+0000)
Subject: Ignore dead.package.
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=2bd8fd7190595ba1fef3961722e75c31a2290607;hp=753fedfd37d8f2633136de74669146e34d727aa3;p=fedora-ocaml-rebuild.git

Ignore dead.package.

There's also a bug in goals near this point in the code.  The next
clause does "exit 1" but that does not cause the whole goals
invocation to exit.
---

diff --git a/Goalfile b/Goalfile
index 7daba53..a67f2c3 100644
--- a/Goalfile
+++ b/Goalfile
@@ -203,6 +203,8 @@ pure function get-source-packages () returning strings = {
     for f in %packages; do
         if [ -f $f/%fedora-branch/$f.spec ]; then
             echo "$f"
+        elif [ -f $f/%fedora-branch/dead.package ]; then
+            echo "WARNING: $f: is a dead package, ignored" >&2
         else
             echo "$f: package is not checked out locally" >&2
             exit 1