diff options
Diffstat (limited to 'spice-server/script')
-rwxr-xr-x | spice-server/script | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/spice-server/script b/spice-server/script index 2e286f0..3bfc16c 100755 --- a/spice-server/script +++ b/spice-server/script @@ -39,20 +39,21 @@ CCOV= LCOV= ## coverage -#CCOV+="-fprofile-arcs -ftest-coverage" # -fbranch-probabilities" -#LCOV+="-lgcov" +#CCOV+=" -fprofile-arcs -ftest-coverage" # -fbranch-probabilities" +#LCOV+=" -lgcov" -#CCOV+="-fbranch-probabilities" +#CCOV+=" -fbranch-probabilities" ## address sanitizer -#CCOV+="-fsanitize=address -fno-omit-frame-pointer" -#LCOV+="-fsanitize=address -lasan" +# CCOV+=" -fno-omit-frame-pointer" +#CCOV+=" -fsanitize=address -fno-omit-frame-pointer" +#LCOV+=" -fsanitize=address -lasan" ## memory sanitizer -#CCOV+="-fsanitize=memory -fno-omit-frame-pointer -fPIE -pie" -#LCOV+="-fsanitize=memory -fPIE -pie" +#CCOV+=" -fsanitize=memory -fno-omit-frame-pointer -fPIE -pie" +#LCOV+=" -fsanitize=memory -fPIE -pie" -#CCOV+="-fno-omit-frame-pointer" +#CCOV+=" -fno-omit-frame-pointer" CCOV+=" -DCOMPRESS_STAT" CCOV+=" -DRED_WORKER_STAT" |