diff options
| author |  Max Moroz <mmoroz@chromium.org> | 2018-09-05 14:42:52 -0700 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2018-09-05 14:42:52 -0700 |
| commit | 91b44185acf9dcb3764e6a570df0cb9ccea9c4ae (patch) | |
| tree | b1c572a1957921210ba433b48e8c9404154be681 /projects/envoy | |
| parent | 1c0f84362b8556855dcbf9ba828be144a47c407e (diff) | |
[envoy] Fix coverage_extra_args format.
Diffstat (limited to 'projects/envoy')
| -rw-r--r-- | projects/envoy/project.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/projects/envoy/project.yaml b/projects/envoy/project.yaml index 2cbbf656..1c5c2a8c 100644 --- a/projects/envoy/project.yaml +++ b/projects/envoy/project.yaml @@ -5,4 +5,4 @@ auto_ccs: - "alyssar@google.com" - "dio@tetrate.io" - "envoy-security@googlegroups.com" -coverage_extra_args: -ignore-filename-regex='.*\.cache.*' +coverage_extra_args: -ignore-filename-regex=.*\.cache.* |