diff options
author | Tom Lane | 2018-08-08 18:32:29 +0000 |
---|---|---|
committer | Tom Lane | 2018-08-08 18:32:29 +0000 |
commit | 1eee8d4994fe0b93ac02c613c1e955680e3a5ce3 (patch) | |
tree | d0c7fb22242a6be3e36d4eb5cf74c3b7b5beae36 /doc | |
parent | 8e19a82640d3fa2350db146ec72916856dd02f0a (diff) |
Remove unwanted "garbage cleanup" logic in Makefiles.
GNUmakefile.in defined a macro "garbage" that seems to have been meant
as a suitable target for automatic "rm -rf" treatment, but it isn't
actually used anywhere (and indeed never was, AFAICT).
Moreover, we have concluded that the Makefiles shouldn't take it upon
themselves to remove files that aren't expected by-products of building,
so that doing anything like that would be against project policy anyway.
Hence, just remove the macro.
Grepping around finds another violation of that policy in ecpg/preproc,
so clean that up too.
Daniel Gustafsson (ecpg change by me)
Discussion: https://postgr.es/m/[email protected]
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions