diff options
author | Max Moroz <dor3s1@gmail.com> | 2018-10-01 06:43:21 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-01 06:43:21 -0700 |
commit | 7703e360de991dab9f0c2dc1b8fb984af7d90a14 (patch) | |
tree | 75969fbbe192004999f47ecda2891b4679adae51 /projects/grpc | |
parent | 87e5fbf3696794649629275390d8bca84b791fd8 (diff) | |
download | oss-fuzz-7703e360de991dab9f0c2dc1b8fb984af7d90a14.tar.gz |
[infra] Remove sancov and rename "profile" to "coverage". (#1839)
* [infra] Remove sancov and rename "profile" to "coverage".
* Bring coverage flags back.
* Update projects files that rely on SANITIZER="profile".
Diffstat (limited to 'projects/grpc')
-rwxr-xr-x | projects/grpc/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/projects/grpc/build.sh b/projects/grpc/build.sh index 1f6706450..84d42ac6c 100755 --- a/projects/grpc/build.sh +++ b/projects/grpc/build.sh @@ -62,7 +62,7 @@ bazel build --dynamic_mode=off --spawn_strategy=standalone --genrule_strategy=st # Copied from projects/envoy/build.sh which also uses Bazel. # Profiling with coverage requires that we resolve+copy all Bazel symlinks and # also remap everything under proc/self/cwd to correspond to Bazel build paths. -if [ "$SANITIZER" = "profile" ] +if [ "$SANITIZER" = "coverage" ] then # The build invoker looks for sources in $SRC, but it turns out that we need # to not be buried under src/, paths are expected at out/proc/self/cwd by |