diff options
author | Alvaro Herrera <alvherre@alvh.no-ip.org> | 2016-09-05 18:44:36 -0300 |
---|---|---|
committer | Alvaro Herrera <alvherre@alvh.no-ip.org> | 2016-09-05 18:44:36 -0300 |
commit | 2093f6630500c9d5e122748ac7d3719855d71174 (patch) | |
tree | 85aa73545092b3c103023ece4adc8715dafe3147 /GNUmakefile.in | |
parent | c54159d44ceaba26ceda9fea1804f0de122a8f30 (diff) | |
download | postgresql-2093f6630500c9d5e122748ac7d3719855d71174.tar.gz |
Have "make coverage" recurse into contrib as well
Diffstat (limited to 'GNUmakefile.in')
-rw-r--r-- | GNUmakefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/GNUmakefile.in b/GNUmakefile.in index 15fba9fce0..dc76a5d11d 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 |