diff options
author | Frediano Ziglio <fziglio@redhat.com> | 2017-08-31 10:19:47 +0100 |
---|---|---|
committer | Frediano Ziglio <fziglio@redhat.com> | 2017-08-31 10:19:47 +0100 |
commit | bdd7a309b7fae88f223ca2d8dcb1cfc4fee7f29e (patch) | |
tree | 864e7a4b513a9dcf7c3e13f1efab62e3637e8b5f | |
parent | ab16f768515c714660e8627eca3e350af70590c3 (diff) |
add spaces to separate flag options
-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" |