From: | Alvaro Herrera <alvherre(at)commandprompt(dot)com> |
---|---|
To: | Peter Eisentraut <peter_e(at)gmx(dot)net> |
Cc: | Pg Hackers <pgsql-hackers(at)postgresql(dot)org> |
Subject: | Re: should Makefile.custom be in source tree or in build tree? |
Date: | 2011-12-06 19:21:09 |
Message-ID: | 1323199147-sup-1273@alvh.no-ip.org |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | pgsql-hackers |
Excerpts from Peter Eisentraut's message of mar dic 06 16:06:57 -0300 2011:
> Makefile.custom is currently looked for in the source directory. This
> tripped me up recently when doing a vpath build. Should it be looked
> for in the build tree instead? Or both?
Hmm, interesting question. When I have used it, I put it in the source
dir without thinking much about it. In the builddir it'd be painful I
think because it'd be gone when the builddir is zapped to do a full
rebuild (I don't do this often but it does happen from time to time).
Nowadays I don't use it much though, since I learned the PROFILE trick
when calling make, so it's not like I care all that much.
--
Álvaro Herrera <alvherre(at)commandprompt(dot)com>
The PostgreSQL Company - Command Prompt, Inc.
PostgreSQL Replication, Consulting, Custom Development, 24x7 support
From | Date | Subject | |
---|---|---|---|
Next Message | Tom Lane | 2011-12-06 19:42:25 | Re: should Makefile.custom be in source tree or in build tree? |
Previous Message | Peter Eisentraut | 2011-12-06 19:06:57 | should Makefile.custom be in source tree or in build tree? |