summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFrediano Ziglio <fziglio@redhat.com>2017-08-31 10:19:47 +0100
committerFrediano Ziglio <fziglio@redhat.com>2017-08-31 10:19:47 +0100
commitbdd7a309b7fae88f223ca2d8dcb1cfc4fee7f29e (patch)
tree864e7a4b513a9dcf7c3e13f1efab62e3637e8b5f
parentab16f768515c714660e8627eca3e350af70590c3 (diff)
add spaces to separate flag options
-rwxr-xr-xspice-server/script17
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"