Le 07/12/2012 05:05, svn-commit-mailer_at_[hidden] 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
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.