diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-10-18 18:40:02 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-10-21 10:22:10 +0200 |
| commit | f57cb90d47182ae19b031c885bc09bdcad72668c (patch) | |
| tree | 6f26a037fccc0d4ead59459429f296f2e8ceb572 /tools | |
| parent | 99b9ab211949d89a18fcb4f0f97341a4d4cbe1bb (diff) | |
dashboard/config/linux: add config fragments
Add config fragments for the new config generation system.
Update #2171
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/check-language.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/check-language.sh b/tools/check-language.sh index 9e0699cc7..4bd9ad964 100755 --- a/tools/check-language.sh +++ b/tools/check-language.sh @@ -7,7 +7,7 @@ FAILED="" shopt -s nocasematch for F in $(find . -name "*.go" -o -name "*.sh" -o -name "*.cc" -o -name "*.md" \ -o -name "*.S" -o -name "*.py" -o -name "*.yml" -o -name "*.yaml" | \ - egrep -v "/vendor/|/gen/|executor/syscalls.h|pkg/csource/generated.go|tools/check-language.sh"); do + egrep -v "/vendor/|/gen/|executor/syscalls.h|dashboard/config/linux/bits|pkg/csource/generated.go|tools/check-language.sh"); do ((FILES+=1)) L=0 while IFS= read -r LINE; do |