From 2bd8fd7190595ba1fef3961722e75c31a2290607 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Mon, 1 Mar 2021 12:46:25 +0000 Subject: [PATCH] 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. --- Goalfile | 2 ++ 1 file changed, 2 insertions(+) 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 -- 1.8.3.1