diff options
| author | Joseph Herlant <aerostitch@debian.org> | 2019-11-02 04:05:01 -0700 |
|---|---|---|
| committer | Joseph Herlant <aerostitch@debian.org> | 2019-11-02 04:05:01 -0700 |
| commit | 5e47311b079280a01d59726b5acb673b8a281891 (patch) | |
| tree | 78b8a69ee91ba67dff6a4e38b8355f4a3392fe02 | |
| parent | 0d756a51c32126efcfaa10e6a0a5cdbb5dd4b719 (diff) | |
| download | navit-5e47311b079280a01d59726b5acb673b8a281891.tar.gz | |
Revert the testing part. Now ready for merge
| -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 05dfbc701..129489ce8 100755 --- a/scripts/check_need_build.sh +++ b/scripts/check_need_build.sh @@ -18,7 +18,7 @@ if [[ -z "$files" ]]; 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 if [[ "$f" =~ $filter ]]; then |