Apparently AC_CONFIG_HEADER is deprecated; shou...
Apparently AC_CONFIG_HEADER is deprecated; shou...

Apparently AC_CONFIG_HEADER is deprecated; should be AC_CONFIG_HEADERS
nowadays. 

This commit was SVN r3141.

shekkbuilder/hwloc,shekkbuilder/hwloc,shekkbuilder/hwloc,ggouaillardet/hwloc,shekkbuilder/hwloc,ggouaillardet/hwloc,ggouaillardet/hwloc,ggouaillardet/hwloc