Chao Li <li.evan.chao@gmail.com> writes:
> Thanks for the explanation. W.R.T the PROFILE variable, I tried:
> # ./configure --enable-debug
> # PROFILE="-O0" make
> As a result, both "-O2" and "-O0" presented to gcc. In that case, I believe
> "-O0" will be ignored by gcc.
Nope ... read the gcc docs, or experiment. The last -O switch wins.
(This is true for most switches in most Unix tools, and it's common
for scripts such as Makefiles to rely on it.)
regards, tom lane
