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

Really fix "make dist". Really.

Просмотр исходного кода 
This commit was SVN r18704.
Этот коммит содержится в:
Jeff Squyres 2008-06-21 18:04:38 +00:00
родитель 74089a0593
Коммит 24c3aa1d77
2 изменённых файлов: 2 добавлений и 2 удалений
Показать статистику Скачать Patch файл Скачать Diff файл Показать все файлы Свернуть все файлы

2
orte/tools/orte-checkpoint/Makefile.am
Просмотреть файл

@ -19,7 +19,7 @@
# Bug in AM 1.10.1: need to list man pages because dist_man_MANS is # Bug in AM 1.10.1: need to list man pages because dist_man_MANS is
# not picked up inside of an AM_CONDITIONAL # not picked up inside of an AM_CONDITIONAL
EXTRA_DIST = orte-checkpoint.1 ompi-checkpoint.1 EXTRA_DIST = orte-checkpoint.1
if !ORTE_DISABLE_FULL_SUPPORT if !ORTE_DISABLE_FULL_SUPPORT
if WANT_FT if WANT_FT

2
orte/tools/orte-restart/Makefile.am
Просмотреть файл

@ -19,7 +19,7 @@
# Bug in AM 1.10.1: need to list man pages because dist_man_MANS is # Bug in AM 1.10.1: need to list man pages because dist_man_MANS is
# not picked up inside of an AM_CONDITIONAL # not picked up inside of an AM_CONDITIONAL
EXTRA_DIST = orte-restart.1 ompi-restart.1 EXTRA_DIST = orte-restart.1
if !ORTE_DISABLE_FULL_SUPPORT if !ORTE_DISABLE_FULL_SUPPORT
if WANT_FT if WANT_FT