X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile;h=a67f2c3fdab3b1acfa085cab35c2adf6697d47c8;hb=2bd8fd7190595ba1fef3961722e75c31a2290607;hp=7daba53ee42196be92cc0c30e050d6e55b6c1d4d;hpb=753fedfd37d8f2633136de74669146e34d727aa3;p=fedora-ocaml-rebuild.git

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