Only build prun if building --with-devel-headers

Ralph Castain · Ralph Castain · commit 589cc03d8ef2 · 2017-09-13T11:38:11.000-07:00
Signed-off-by: Ralph Castain &lt;rhc@open-mpi.org&gt;
diff --git a/orte/tools/Makefile.am b/orte/tools/Makefile.am
@@ -54,6 +54,8 @@ DIST_SUBDIRS += \
         tools/prun
 
 if OPAL_WANT_PRUN
+if WANT_INSTALL_HEADERS
 SUBDIRS += \
 	tools/prun
 endif
+endif
