diff options
| author | Sjors Provoost <sjors@sprovoost.nl> | 2018-01-05 14:40:46 +0100 |
|---|---|---|
| committer | Sjors Provoost <sjors@sprovoost.nl> | 2018-01-05 14:41:01 +0100 |
| commit | 40b17f5f9106e572420dada04c15ec452a8f4f41 (patch) | |
| tree | 2390f37bb3afa26b74381066f45d7f807a3c8525 /contrib/devtools/clang-format-diff.py | |
| parent | 56910285fa4a7a0f3b931e7613b9691cee9c13ff (diff) | |
[scripts] lint-whitespace: use perl instead of grep -P
MacOS does not support 'grep -P' out of the box. This change makes
it easier for developers to check for whitespace problems locally.
Diffstat (limited to 'contrib/devtools/clang-format-diff.py')
0 files changed, 0 insertions, 0 deletions