Makefile should not pre-empt user's decision about whether
Tom Lane <tgl@sss.pgh.pa.us>
Makefile should not pre-empt user's decision about whether to use -g ... especially not when this can cause real problems on some platforms ...
Files
| Path | Change | +/− |
|---|---|---|
| src/interfaces/ecpg/preproc/Makefile.in | modified | +1 −1 |