diff options
| author | Bruce Momjian <bruce@momjian.us> | 2006-05-30 13:52:25 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2006-05-30 13:52:25 +0000 |
| commit | 382808612cb15bd90b53b665602c85bcdd3ab9e6 (patch) | |
| tree | d64ed598f15a9419662c24b25af54e0566dae925 /src/include/executor/instrument.h | |
| parent | 4d06e86d041b48a2ecd4f45e2ecbbcf69f3454c0 (diff) | |
| download | postgresql-382808612cb15bd90b53b665602c85bcdd3ab9e6.tar.gz | |
Emit warnings for unknown configure options.
Martijn van Oosterhout
Diffstat (limited to 'src/include/executor/instrument.h')
0 files changed, 0 insertions, 0 deletions