diff --git a/extrae_install.sh b/extrae_install.sh index a2d1be4..7cb10a4 100755 --- a/extrae_install.sh +++ b/extrae_install.sh @@ -99,10 +99,10 @@ module load system/perfctr system/papi PAPI_DIR=$(dirname $(dirname $(which papi_avail))) # Other interesting configure options: -# --with-papi=$PAPI_DIR \ -# --enable-sampling CONFIGURE_OPTS="\ --with-mpi=$MPI_DIR \ + --with-papi=$PAPI_DIR \ + --enable-sampling \ " MAKEOPTS="-j8"