[petsc-dev] Why is configure checking the same thing multiple times?

[Jed Brown]

Surely it would be sufficient to check and set these only once?

$ grep GETPAGESIZE mpich/conf/configure.log

          Defined "HAVE_GETPAGESIZE" to "1"
          Defined "HAVE_GETPAGESIZE" to "1"
          Defined "HAVE_GETPAGESIZE" to "1"
          Defined "HAVE_GETPAGESIZE" to "1"
#ifndef PETSC_HAVE_GETPAGESIZE
#define PETSC_HAVE_GETPAGESIZE 1

$ grep USLEEP mpich/conf/configure.log

          Defined "HAVE_USLEEP" to "1"
          Defined "HAVE_USLEEP" to "1"
#ifndef PETSC_HAVE_USLEEP
#define PETSC_HAVE_USLEEP 1

$ grep STRCASECMP mpich/conf/configure.log

          Defined "HAVE_STRCASECMP" to "1"
          Defined "HAVE_STRCASECMP" to "1"
#ifndef PETSC_HAVE_STRCASECMP
#define PETSC_HAVE_STRCASECMP 1
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20130317/d961123f/attachment.html>