>On Fri, Jun 1, 2012 at 2:36 PM, Jeff Squyres <jsquyres_at_[hidden]> wrote:
Thanks for the prompt response, much appreciated.
This problem originally came up because we put the Open MPI tree into
our source control tool. Then make modifications, apply patches, etc.
Of course, when we check out the files, all the timestamps get
changed. Now that I know the limitations I'll figure out something
based on your suggestions.