From dc1b65a4cf65877c24f096fb8f56450a79a45081 Mon Sep 17 00:00:00 2001 From: Brian Barrett Date: Thu, 29 Mar 2018 21:42:35 +0000 Subject: [PATCH] dist: Don't build case-conflicting html man pages The html man page builder creates a web page for every man page generated by our releases. We then check all those pages into the ompi-www repo. Force the build to skip case-conflicting pages (ie, mpiCC because it conflicts with mpicc), even if building on Linux, so that ompi-www continues to be sane when cloned onto MacOS. Signed-off-by: Brian Barrett (cherry picked from commit fe2b6cf1d63d352aca247c9d026bb7038cb412c6) --- contrib/dist/make-html-man-pages.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/dist/make-html-man-pages.pl b/contrib/dist/make-html-man-pages.pl index 31de66ed6a6..58f7679638c 100755 --- a/contrib/dist/make-html-man-pages.pl +++ b/contrib/dist/make-html-man-pages.pl @@ -76,7 +76,7 @@ sub doit { # Autogen if we don't have a configure script doit("./autogen.pl") if (! -x "configure"); -doit("./configure --prefix=$prefix --enable-mpi-ext=all"); +doit("./configure --prefix=$prefix --enable-mpi-ext=all --without-cs-fs"); # Find this OMPI's version my $version = `fgrep PACKAGE_VERSION opal/include/opal_config.h | cut -d\\\" -f2`;