diff options
Diffstat (limited to 'test/runLint')
| -rwxr-xr-x | test/runLint | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/runLint b/test/runLint index 8699d7a0..a84c46d8 100755 --- a/test/runLint +++ b/test/runLint @@ -32,7 +32,7 @@ gitgrep $cmdstart'sed\b.*\\\|' \ #gitgrep $cmdstart'sed\b.*;' \ # 'sed with ;, use multiple -e options instead (POSIX?) (false positives?)' -gitgrep $cmdstart'sed\b.*-[^[:space:]]*[rE]' \ +gitgrep $cmdstart'sed\b.*[[:space:]]-[^[:space:]]*[rE]' \ 'sed with -r or -E, drop and use POSIX BRE instead' gitgrep $cmdstart'[ef]grep\b' \ |