This commit was SVN r8611.
This commit was SVN r7999.
ompi/debuggers/ so that compilation options can be more easily controlled. This commit was SVN r7113.