diff --git a/build_tools/check-sources.sh b/build_tools/check-sources.sh index fdd40a182..5672f7b2b 100755 --- a/build_tools/check-sources.sh +++ b/build_tools/check-sources.sh @@ -17,12 +17,18 @@ if [ "$?" != "1" ]; then BAD=1 fi -git grep -n '