diff --git a/tools/analysis.sh b/tools/analysis.sh index 4c8a0855a5e81fbbeff1f654fb1c641671982c94..ea1c441e03ff80d4d0bcc31617531f10b5b036e8 100755 --- a/tools/analysis.sh +++ b/tools/analysis.sh @@ -7,9 +7,7 @@ mkdir -p build cd build rm * -rf -export CFLAGS="-O0 -g -fPIC -fdiagnostics-show-option --coverage -fno-inline -Wall" -export LDFLAGS="--coverage" -cmake .. -DCHAMELEON_USE_MPI=ON -DCMAKE_INSTALL_PREFIX=$PWD/install -DCMAKE_C_FLAGS="$CFLAGS" -DCMAKE_EXE_LINKER_FLAGS="$LDFLAGS" -DCMAKE_VERBOSE_MAKEFILE=ON +cmake .. -DCHAMELEON_USE_MPI=ON -DCMAKE_INSTALL_PREFIX=$PWD/install -DCMAKE_C_FLAGS="$CFLAGS" -DCMAKE_EXE_LINKER_FLAGS="$LDFLAGS" -DCMAKE_VERBOSE_MAKEFILE=ON -DMORSE_ENABLE_WARNING=ON -DMORSE_ENABLE_COVERAGE=ON make -j5 | tee ../chameleon-build.log # run tests