15be948d79
There were a few places where *_EXTRA_INCLUDES (and derivates) were still being used. This commit removes all of them. |
||
---|---|---|
.. | ||
orte-checkpoint | ||
orte-clean | ||
orte-dvm | ||
orte-info | ||
orte-migrate | ||
orte-ps | ||
orte-restart | ||
orte-server | ||
orte-submit | ||
orte-top | ||
orted | ||
orterun | ||
wrappers | ||
Makefile.am |