diff options
-rw-r--r-- | configure.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/configure.sh b/configure.sh index c2398a6..a1a7ec3 100644 --- a/configure.sh +++ b/configure.sh @@ -84,6 +84,8 @@ if [ -z "${OPENMPI_DIR}" -o "${OPENMPI_DIR}" = 'BUILD' ]; then fi DONE_FILE=${SCRATCH_BUILD}/done/${THORN} OPENMPI_DIR=${INSTALL_DIR} + OPENMPI_INC_DIRS=${OPENMPI_DIR}/include + OPENMPI_LIB_DIRS=${OPENMPI_DIR}/lib ( exec >&2 # Redirect stdout to stderr |