diff options
author | Frediano Ziglio <fziglio@redhat.com> | 2018-06-30 09:29:09 +0100 |
---|---|---|
committer | Frediano Ziglio <fziglio@redhat.com> | 2018-06-30 09:29:09 +0100 |
commit | 1a86711ff7e6f9a8944fccb388e0d3afd1738c1b (patch) | |
tree | 1587cadba6c143993c70d56d9eb80a381c10bf84 | |
parent | 04cbe2d6cc999452a81ec51e2f4f50b94b5e421e (diff) |
Fix problem with large stack and sanitizer
-rwxr-xr-x | spice-server/script | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/spice-server/script b/spice-server/script index 3bfc16c..497a484 100755 --- a/spice-server/script +++ b/spice-server/script @@ -45,8 +45,7 @@ LCOV= #CCOV+=" -fbranch-probabilities" ## address sanitizer -# CCOV+=" -fno-omit-frame-pointer" -#CCOV+=" -fsanitize=address -fno-omit-frame-pointer" +#CCOV+=" -fsanitize=address -fno-omit-frame-pointer -Wframe-larger-than=50000" #LCOV+=" -fsanitize=address -lasan" ## memory sanitizer |