diff options
| author | Hugo Herbelin | 2019-06-16 20:09:25 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2019-06-16 20:42:13 +0200 |
| commit | 41bd4a25d40aba130b47abf1abfb102b4b4e1fc4 (patch) | |
| tree | 032aae82c0c2acc4c09bcf86d905c1ee8ea8ff03 /plugins | |
| parent | 6eba5b5ba91f9ec02b809e0c223324e0f4fdbf85 (diff) | |
Ensuring regexp filtering in ci works on MacOS X.
Unfortunately, "+" regular expressions are not supported by default
with MacOS X's sed.
It is told that it would work with option -E though, but the syntax
seems then different.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions