diff options
-rwxr-xr-x | scripts/check_need_build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/check_need_build.sh b/scripts/check_need_build.sh index c02a969ee..124722e9a 100755 --- a/scripts/check_need_build.sh +++ b/scripts/check_need_build.sh @@ -18,7 +18,7 @@ if [[ -z "$file_list" ]]; then fi # This block filters out those don't match the pattern we use to exclude files that should not trigger a build. -declare -a filters=('^docs/.*' '.*\.md$' '.*\.rst$' '.*') # WARNING! '.*' is here only for testing if the circleci command works. It should be removed before merge! +declare -a filters=('^docs/.*' '.*\.md$' '.*\.rst$') for f in ${file_list[@]}; do for filter in "${filters[@]}" ; do echo "checking $f with filter $filter" |