From 2093f6630500c9d5e122748ac7d3719855d71174 Mon Sep 17 00:00:00 2001
From: Alvaro Herrera <alvherre@alvh.no-ip.org>
Date: Mon, 5 Sep 2016 18:44:36 -0300
Subject: [PATCH] Have "make coverage" recurse into contrib as well

---
 GNUmakefile.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/GNUmakefile.in b/GNUmakefile.in
index 15fba9fce0a..dc76a5d11dd 100644
--- a/GNUmakefile.in
+++ b/GNUmakefile.in
@@ -39,9 +39,9 @@ install-world:
 # build src/ before contrib/
 install-world-contrib-recurse: install-world-src-recurse
 
-$(call recurse,installdirs uninstall coverage init-po update-po,doc src config)
+$(call recurse,installdirs uninstall init-po update-po,doc src config)
 
-$(call recurse,distprep,doc src config contrib)
+$(call recurse,distprep coverage,doc src config contrib)
 
 # clean, distclean, etc should apply to contrib too, even though
 # it's not built by default
-- 
GitLab