OSDN Git Service

If we're gonna provide an --enable-profiling configure option, surely
authorTom Lane <tgl@sss.pgh.pa.us>
Fri, 21 Sep 2007 02:33:46 +0000 (02:33 +0000)
committerTom Lane <tgl@sss.pgh.pa.us>
Fri, 21 Sep 2007 02:33:46 +0000 (02:33 +0000)
commit017daed0dd8bc158b97fe5c6ecb839a56905fc52
tree0206668136d7d34f029c6a6d4d6de4b6ae220863
parent02185a07161e1e9fb8a50bc50d163830bb7a860a
If we're gonna provide an --enable-profiling configure option, surely
it ought to know that you need -DLINUX_PROFILE on Linux.
configure
configure.in
src/include/pg_config.h.in
src/template/linux