[HACKERS] Placement for a /port sort of include file?

2008-05-14 Thread Tom Lane
Since the function-call-statistics patch is going to need the instr_time stuff that's currently in src/include/executor/instrument.h, I was looking at splitting that out into its own include file. My first thought about where to put instr_time.h was under src/include/port/, since it's basically a

Re: [HACKERS] Placement for a /port sort of include file?

2008-05-14 Thread Alvaro Herrera
Tom Lane wrote: Since the function-call-statistics patch is going to need the instr_time stuff that's currently in src/include/executor/instrument.h, I was looking at splitting that out into its own include file. My first thought about where to put instr_time.h was under src/include/port/,