Also avoid further processing after other errors in directive files
authorJacob Bachmeyer <jcb@gnu.org>
Thu, 27 Oct 2022 04:05:20 +0000 (23:05 -0500)
committerJacob Bachmeyer <jcb@gnu.org>
Thu, 27 Oct 2022 04:05:20 +0000 (23:05 -0500)
commit591244c4f1874f536ca6fd7a3ad244e17f08385e
tree249348fc3a5538dca4da22811b369e8f906584cf
parentdbdab4a777f59cfa16e4257796b539e2b87cb0ac
Also avoid further processing after other errors in directive files
gatekeeper.pl