ports/openmpi
ports/openmpi
1
1
Форкнуть 0
Код Релизы Активность

oshmem: Do not install man pages in case oshmem is off

Просмотр исходного кода
Этот коммит содержится в:
Igor Ivanov 2015-09-10 13:06:20 +03:00
родитель 70deffd549
Коммит 5f13270c47
1 изменённых файлов: 3 добавлений и 0 удалений
Показать статистику Скачать Patch файл Скачать Diff файл Показать все файлы Свернуть все файлы

3
oshmem/shmem/man/man3/Makefile.extra
Просмотреть файл

@ -176,5 +176,8 @@ shmem_api_man_pages = \
shmem/man/man3/shmem_clear_cache_inv.3 \ shmem/man/man3/shmem_clear_cache_inv.3 \
shmem/man/man3/shmem_clear_cache_line_inv.3 shmem/man/man3/shmem_clear_cache_line_inv.3
if PROJECT_OSHMEM
nodist_man_MANS += $(shmem_api_man_pages) nodist_man_MANS += $(shmem_api_man_pages)
EXTRA_DIST += $(shmem_api_man_pages:.3=.3in) EXTRA_DIST += $(shmem_api_man_pages:.3=.3in)
endif # PROJECT_OSHMEM