From bb7453dc702e46edfa2baba267183c8a12085b3e Mon Sep 17 00:00:00 2001 From: Oleg Hahm Date: Thu, 11 Dec 2014 16:35:41 +0100 Subject: [PATCH] doccheck: grep for all lines with a warning --- dist/tools/doccheck/check.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dist/tools/doccheck/check.sh b/dist/tools/doccheck/check.sh index 51a980048c..fdfacfb999 100755 --- a/dist/tools/doccheck/check.sh +++ b/dist/tools/doccheck/check.sh @@ -36,7 +36,7 @@ else git diff ${WARN_DIFFFILTER} --name-only $(git merge-base ${BRANCH} HEAD) | grep -E '\.([sSchp]|cpp)$' | sort | uniq > ${TMP_WARN} fi -make doc 2>&1 | grep '^\/.*warning' | sed "s#${PWD}/\([^:]*\).*#\1#" | sort | uniq > ${TMP_DOC} +make doc 2>&1 | grep '.*warning' | sed "s#.*${PWD}/\([^:]*\).*#\1#" | sort | uniq > ${TMP_DOC} WARNINGS=$(comm -1 -2 ${TMP_WARN} ${TMP_DOC}) ERRORS=$(comm -1 -2 ${TMP_ERR} ${TMP_DOC})