1
1
Fixes open-mpi/ompi#1036
Этот коммит содержится в:
Igor Ivanov 2015-10-20 17:32:11 +03:00
родитель 630d6bf800
Коммит 5afa149b98

Просмотреть файл

@ -178,6 +178,6 @@ shmem_api_man_pages = \
if PROJECT_OSHMEM
nodist_man_MANS += $(shmem_api_man_pages)
EXTRA_DIST += $(shmem_api_man_pages:.3=.3in)
endif # PROJECT_OSHMEM
EXTRA_DIST += $(shmem_api_man_pages:.3=.3in)