[OMPI devel] Coverity

[Jeff Squyres]

David fixed a problem this morning that Coverity wasn't quite running  
right because the directory where OMPI lived was changing every  
night.  So a few of the old runs were pruned.

--
Jeff Squyres
Cisco Systems