On 07/08/2018 16:06, Tom Lane wrote:
> In short, yeah, I think we could nuke that. But maybe Peter remembers
> it differently.
It's all obsolete with git clean anyway.
--
Peter Eisentraut http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Servi
Daniel Gustafsson writes:
> I happened to notice that there is a variable 'garbage' in GNUmakefile.in,
> which was defined in 32163099d7c43a0244f463eb4e525c711e6e97a3 ~18 years ago,
> but which seems to not be used? Is 'garbage' a special make variable or is a
> leftover which can be removed?
It
I happened to notice that there is a variable 'garbage' in GNUmakefile.in,
which was defined in 32163099d7c43a0244f463eb4e525c711e6e97a3 ~18 years ago,
but which seems to not be used? Is 'garbage' a special make variable or is a
leftover which can be removed?
cheers ./daniel
garbage.diff
Descr
