Ignore dead.package.

[fedora-ocaml-rebuild.git] / Goalfile

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