From: Richard W.M. Jones 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=2bd8fd7190595ba1fef3961722e75c31a2290607;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. ---