Skip to content
Snippets Groups Projects
Commit 06966055 authored by Pietro Incardona's avatar Pietro Incardona
Browse files

Changing from valfrind to adress sanitizer

parent 9f7d9aea
No related branches found
No related tags found
No related merge requests found
Pipeline #2192 passed
Stage: build
Stage: test
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
build.sh
+ 1
− 1
View file @ 06966055
...@@ -79,6 +79,7 @@ installation_dir="--prefix=$HOME/openfpm_install/$branch" ...@@ -79,6 +79,7 @@ installation_dir="--prefix=$HOME/openfpm_install/$branch"
#echo "StrictHostKeyChecking=no" > $HOME/.ssh/config #echo "StrictHostKeyChecking=no" > $HOME/.ssh/config
#chmod 600 $HOME/.ssh/config #chmod 600 $HOME/.ssh/config
foward_options=
install_options= install_options=
if [ x"$comp_type" == x"full" ]; then if [ x"$comp_type" == x"full" ]; then
install_options="-s" install_options="-s"
...@@ -90,7 +91,6 @@ else ...@@ -90,7 +91,6 @@ else
install_options="-s -m" install_options="-s -m"
fi fi
foward_options=
if [ x"$comp_type" == x"se_class" ]; then if [ x"$comp_type" == x"se_class" ]; then
foward_options="--enable-se-class1 --with-action-on-error=THROW_ON_ERROR" foward_options="--enable-se-class1 --with-action-on-error=THROW_ON_ERROR"
fi fi
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment