[bad_example] Ignore "profile" build the same way as "coverage" one.

This commit is contained in:
Max Moroz 2017-08-31 20:58:49 -07:00
parent dba3c1b2e5
commit 664d13f5fc
1 changed files with 1 additions and 1 deletions

View File

@ -23,7 +23,7 @@ $CXX $CXXFLAGS -std=c++11 -I. -DINTENTIONAL_STARTUP_CRASH \
# The latest two examples won't for for coverage build, bail out.
if [[ $SANITIZER = *coverage* ]]; then
if [[ $SANITIZER = *coverage* ]] || [[ $SANITIZER = *profile* ]]; then
exit 0
fi