Thanks Brian - I had been told precisely the opposite priority rule just a
few weeks ago by someone else, hence my confusion.
On 4/21/08 8:48 AM, "Brian W. Barrett" <brbarret_at_[hidden]> wrote:
> On Mon, 21 Apr 2008, Ralph H Castain wrote:
>> So it appears to be a combination of memchecker=yes automatically requiring
>> valgrind, and the override on the configure line of a param set by a
>> platform file not working.
> So I can't speak to the valgrind/memchecker issue, but can to the
> platform/configure issue. The platform file was intended to provide a
> mechanism to allow repeatability in builds. By design, options in the
> platform file have higher priority than options given on the configure
> command line.
> devel mailing list