From 2520701f37a317e0e455062c3a0f530fc246c2ac Mon Sep 17 00:00:00 2001 From: Christoph Niethammer Date: Mon, 24 Jul 2017 14:07:20 +0000 Subject: [PATCH] Fixed bugs preventing correct path detection. --- packages/performance/extrae/extrae-3.4.3 | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/packages/performance/extrae/extrae-3.4.3 b/packages/performance/extrae/extrae-3.4.3 index 77ccc1e..1d6595a 100644 --- a/packages/performance/extrae/extrae-3.4.3 +++ b/packages/performance/extrae/extrae-3.4.3 @@ -20,7 +20,7 @@ enable_papi=${enable_papi:=1} # MAKEOPTS="-j1" -[[ -z "${MPI_DIR// }" ]] || sit_fail "Installation requires MPI. No MPI installation found." +[[ -z "$MPI_DIR" ]] && sit_fail "Installation requires MPI. No MPI installation found." # Other interesting configure options: @@ -43,7 +43,8 @@ esac # use PAPI if [ $enable_papi != 0 ] ; then PAPI_DIR=$(dirname $(dirname $(which papi_avail))) - [ -z "${PAPI_DIR// }" ] || sit_fail "PAPI diretory not found!" + [ -z "${PAPI_DIR/\//}" ] && sit_fail "PAPI diretory not found!" + sit_info "PAPI_DIR: $PAPI_DIR" CONFIGURE_OPTS="$CONFIGURE_OPTS --with-papi=$PAPI_DIR" else CONFIGURE_OPTS="$CONFIGURE_OPTS --without-papi"