diff options
| author | Joseph Herlant <aerostitch@debian.org> | 2019-11-01 18:26:01 -0700 |
|---|---|---|
| committer | Joseph Herlant <aerostitch@debian.org> | 2019-11-01 18:26:01 -0700 |
| commit | a5185cc25274241ab0bbef5fd640c98c60d175fd (patch) | |
| tree | 58475002589b3322c51456f272a219d830615bb9 | |
| parent | e9d58b5bfd1dfd552655a7a6c3db17415d922858 (diff) | |
| download | navit-a5185cc25274241ab0bbef5fd640c98c60d175fd.tar.gz | |
Use spaces not comma to separate array elements (codefactor)
| -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 29937764f..5bf0d3295 100755 --- a/scripts/check_need_build.sh +++ b/scripts/check_need_build.sh @@ -26,7 +26,7 @@ list_files_git_diff(){ # @return: nothing (the input variable is modified according to the brief description) filtered_files_git_diff(){ local -n _ret=$1 - declare -a filters=('^docs/.*', '.*\.md$', '.*\.rst$') + declare -a filters=('^docs/.*' '.*\.md$' '.*\.rst$') declare -a file_list=() list_files_git_diff file_list for f in ${file_list[@]}; do |