riot-ci/RIOT
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge pull request #15672 from aabadie/pr/dist/tools_changed_files_fix

Browse Source 
dist/tools: don't redefine EXCLUDE when not necessary
This commit is contained in:
Alexandre Abadie 2020-12-18 14:45:10 +01:00 committed by GitHub
commit be8660fad9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
dist/tools/codespell/check.sh vendored
View File

@ -23,8 +23,7 @@ cd $RIOTBASE
. "${RIOTTOOLS}"/ci/changed_files.sh
FILEREGEX='\.([CcHh]|[ch]pp|sh|py|md|txt)$'
EXCLUDE='^(.+/vendor/)'
FILES=$(FILEREGEX=${FILEREGEX} EXCLUDE=${EXCLUDE} changed_files)
FILES=$(FILEREGEX=${FILEREGEX} changed_files)
if [ -z "${FILES}" ]; then
exit 0

4
dist/tools/vera++/check.sh vendored
View File

@ -12,9 +12,7 @@ CURDIR=$(cd "$(dirname "$0")" && pwd)
: "${WARNING:=1}"
. "$RIOTBASE"/dist/tools/ci/changed_files.sh
FILEREGEX='\.([CcHh]|[ch]pp)$'
EXCLUDE='^(.+/vendor/)'
FILES=$(FILEREGEX=${FILEREGEX} EXCLUDE=${EXCLUDE} changed_files)
FILES=$(changed_files)
if [ -z "${FILES}" ]; then
exit 0