Mike Dubman 644aa6f737 OSHMEM: add missing profiling API for shmem_finalize ...

fixed by Roman, reviewed by Miked
cmr=v1.8.2:reviewer=ompi-rm1.8

This commit was SVN r31751.

2014-05-14 13:13:30 +00:00

..

defines.h

OSHMEM: add missing profiling API for shmem_finalize

2014-05-14 13:13:30 +00:00

Makefile.am

OSHMEM: add missing profiling API for shmem_finalize

2014-05-14 13:13:30 +00:00