From f57cb90d47182ae19b031c885bc09bdcad72668c Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Sun, 18 Oct 2020 18:40:02 +0200 Subject: dashboard/config/linux: add config fragments Add config fragments for the new config generation system. Update #2171 --- tools/check-language.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools') 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 -- cgit mrf-deployment