mirror of
https://github.com/super-linter/super-linter.git
synced 2024-11-22 00:31:07 -05:00
no need to run git check-ignore on every file if you are not setting IGNORE_GITIGNORED_FILES (#4348)
This commit is contained in:
parent
27f66fdac6
commit
6c1fcb284a
1 changed files with 1 additions and 1 deletions
|
@ -304,7 +304,7 @@ function BuildFileList() {
|
|||
###################################################
|
||||
# Filter files if FILTER_REGEX_EXCLUDE is not set #
|
||||
###################################################
|
||||
if git check-ignore "$FILE" && [ "${IGNORE_GITIGNORED_FILES}" == "true" ]; then
|
||||
if [ "${IGNORE_GITIGNORED_FILES}" == "true" ] && git check-ignore "$FILE"; then
|
||||
debug "${FILE} is ignored by Git. Skipping ${FILE}"
|
||||
continue
|
||||
fi
|
||||
|
|
Loading…
Reference in a new issue