Re: [HACKERS] Distclean does not remove gram.c

2010-05-27 Thread Gurjeet Singh
On Wed, May 26, 2010 at 9:00 PM, Robert Haas wrote: > On Wed, May 26, 2010 at 8:20 PM, Andrew Dunstan > wrote: > > Gurjeet Singh wrote: > >> > >> I did a `git clean -f -d` and even that did not remove gram.c, > apparently > >> because this file _was_ alive at some point in the past hence git won

Re: [HACKERS] Distclean does not remove gram.c

2010-05-26 Thread Robert Haas
On Wed, May 26, 2010 at 8:20 PM, Andrew Dunstan wrote: > Gurjeet Singh wrote: >> >> I did a `git clean -f -d` and even that did not remove gram.c, apparently >> because this file _was_ alive at some point in the past hence git won't >> remove it even though the current branch does not have gram.c.

Re: [HACKERS] Distclean does not remove gram.c

2010-05-26 Thread Andrew Dunstan
Gurjeet Singh wrote: I did a `git clean -f -d` and even that did not remove gram.c, apparently because this file _was_ alive at some point in the past hence git won't remove it even though the current branch does not have gram.c. At first glance that looks like a git bug. cheers andr

Re: [HACKERS] Distclean does not remove gram.c

2010-05-26 Thread Tom Lane
Gurjeet Singh writes: > The src/backend/parser/gram.c is a generated file, so shouldn't this be > removed by `make distclean`, or maybe even by `make clean`? No. It's shipped in distribution tarballs. If you want all derived files to be removed, use make maintainer-clean.

[HACKERS] Distclean does not remove gram.c

2010-05-26 Thread Gurjeet Singh
The src/backend/parser/gram.c is a generated file, so shouldn't this be removed by `make distclean`, or maybe even by `make clean`? I did a `git clean -f -d` and even that did not remove gram.c, apparently because this file _was_ alive at some point in the past hence git won't remove it even thoug