diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2018-05-02 15:12:18 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-05-02 15:14:37 +0200 |
| commit | 4b75dcf0ec7beecc9a4638305d1beed9477ba06e (patch) | |
| tree | e06dc43a0c8cc0c57343e5dc21474492d0f6640b /contrib/devtools | |
| parent | ff2ad2d5691c87364f7ec7cd234d5b50c98c54e4 (diff) | |
devtools: Make linter check LogPrint calls
Diffstat (limited to 'contrib/devtools')
| -rwxr-xr-x | contrib/devtools/lint-logs.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/contrib/devtools/lint-logs.sh b/contrib/devtools/lint-logs.sh index 3bb54359a8..35be13ec19 100755 --- a/contrib/devtools/lint-logs.sh +++ b/contrib/devtools/lint-logs.sh @@ -13,12 +13,13 @@ # ignored -UNTERMINATED_LOGS=$(git grep "LogPrintf(" -- "*.cpp" | \ +UNTERMINATED_LOGS=$(git grep --extended-regexp "LogPrintf?\(" -- "*.cpp" | \ grep -v '\\n"' | \ grep -v "/\* Continued \*/" | \ + grep -v "LogPrint()" | \ grep -v "LogPrintf()") if [[ ${UNTERMINATED_LOGS} != "" ]]; then - echo "All calls to LogPrintf() should be terminated with \\n" + echo "All calls to LogPrintf() and LogPrint() should be terminated with \\n" echo echo "${UNTERMINATED_LOGS}" exit 1 |