diff options
| author | Bruce Momjian | 2007-02-21 15:12:39 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2007-02-21 15:12:39 +0000 |
| commit | 6765df9174a45f3306b1e20f8472c6eedbf24341 (patch) | |
| tree | 7d8f140ee911e160f1741e5abbaaa162526458b0 /src/include | |
| parent | 879caf13693031f32ec050966cd20bf72b535adb (diff) | |
Add configure --enable-profiling to enable GCC profiling. Patches from
Korry Douglas and Nikhil S
Diffstat (limited to 'src/include')
| -rw-r--r-- | src/include/pg_config.h.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/include/pg_config.h.in b/src/include/pg_config.h.in index 71b8d0e7d2e..132462ac09e 100644 --- a/src/include/pg_config.h.in +++ b/src/include/pg_config.h.in @@ -602,6 +602,9 @@ /* A string containing the version number, platform, and C compiler */ #undef PG_VERSION_STR +/* Define to 1 to enable profiling. (--enable-profiling) */ +#undef PROFILE_PID_DIR + /* Define to the necessary symbol if this constant uses a non-standard name on your system. */ #undef PTHREAD_CREATE_JOINABLE |