diff options
Diffstat (limited to 'util/chibios-upgrader.sh')
| -rwxr-xr-x | util/chibios-upgrader.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/util/chibios-upgrader.sh b/util/chibios-upgrader.sh index 2174da3cf..ebc12abe7 100755 --- a/util/chibios-upgrader.sh +++ b/util/chibios-upgrader.sh | |||
| @@ -38,7 +38,11 @@ find_chibi_files() { | |||
| 38 | local search_path="$1" | 38 | local search_path="$1" |
| 39 | shift | 39 | shift |
| 40 | local conditions=( "$@" ) | 40 | local conditions=( "$@" ) |
| 41 | find -L "$search_path" -not -path '*/lib/chibios*' -and -not -path '*/lib/ugfx*' -and -not -path '*/util/*' -and \( "${conditions[@]}" \) | sort | 41 | for file in $(find -L "$search_path" -not -path '*/lib/chibios*' -and -not -path '*/lib/ugfx*' -and -not -path '*/util/*' -and \( "${conditions[@]}" \) | sort) ; do |
| 42 | if [ -z "$(grep 'include_next' "$file")" ] ; then | ||
| 43 | echo $file | ||
| 44 | fi | ||
| 45 | done | ||
| 42 | } | 46 | } |
| 43 | 47 | ||
| 44 | revert_chibi_files() { | 48 | revert_chibi_files() { |
