Le 07/12/2012 05:05, svn-commit-mai...@open-mpi.org a écrit : > Author: bgoglin (Brice Goglin) > Date: 2012-12-07 08:05:10 EST (Fri, 07 Dec 2012) > New Revision: 5122 > URL: https://svn.open-mpi.org/trac/hwloc/changeset/5122 > > Log: > WIP >
Sorry, I forgot to merge this commit with the next one before pushing. make check will work fine in r5122, but make dist will miss some files. I fixed the SVN commit message accordingly. Brice
