I wrote:
> ohp@pyrenet.fr writes:
>> The only diff is that jaguar is compiling with -DCLOBBER_CACHE_ALWAYS
>> Is that related?
> Hmm, that might be the needed clue --- thanks for the reminder.
Yup, that was it --- was able to duplicate the problem with
-DCLOBBER_CACHE_ALWAYS. So I think jaguar's efforts already paid
for themselves ...
regards, tom lane