If we're gonna provide an --enable-profiling configure option, surely
Tom Lane <tgl@sss.pgh.pa.us>
If we're gonna provide an --enable-profiling configure option, surely it ought to know that you need -DLINUX_PROFILE on Linux.
Files
| Path | Change | +/− |
|---|---|---|
| configure | modified | +1 −1 |
| configure.in | modified | +3 −3 |
| src/include/pg_config.h.in | modified | +2 −1 |
| src/template/linux | modified | +4 −1 |