File tree Expand file tree Collapse file tree 1 file changed +1
-1
lines changed Expand file tree Collapse file tree 1 file changed +1
-1
lines changed Original file line number Diff line number Diff line change @@ -37,7 +37,7 @@ build_root=/home/mpiteam/openmpi/nightly-tarball-build-root
3737
3838# Coverity stuff
3939coverity_token=` cat $HOME /coverity/openmpi-token.txt`
40- coverity_configure_args=" --enable-mpi-fortran --enable-mpi-java --enable-oshmem --enable-oshmem-fortran --enable-oshmem-java --with-mxm=/opt/mellanox/mxm --with-psm --with-usnic --with-libfabric=/u/mpiteam/libfabric-current/install"
40+ coverity_configure_args=" --enable-debug --enable- mpi-fortran --enable-mpi-java --enable-oshmem --enable-oshmem-fortran --enable-oshmem-java --with-mxm=/opt/mellanox/mxm --with-psm --with-usnic --with-libfabric=/u/mpiteam/libfabric-current/install"
4141
4242export PATH=$HOME /local/bin:$PATH
4343export LD_LIBRARY_PATH=$HOME /local/lib:$LD_LIBRARY_PATH
You can’t perform that action at this time.
0 commit comments