diff options
author | Nick Brassel <nick@tzarc.org> | 2020-03-01 11:50:49 +1100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-01 11:50:49 +1100 |
commit | d0c3acbe3e58c1ad8bc74a8a53522cbe523eea53 (patch) | |
tree | e091be250e8db736d875d4fddd92d3c6bbe47130 /util | |
parent | c775104b9f60d738fd69166da33972d60034c639 (diff) |
Allow for ChibiOS 20.x (master), as well as enabling ChibiOS-Contrib HAL. (#8272)
Diffstat (limited to 'util')
-rwxr-xr-x | util/chibios-upgrader.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/chibios-upgrader.sh b/util/chibios-upgrader.sh index 4f27125957..2174da3cf1 100755 --- a/util/chibios-upgrader.sh +++ b/util/chibios-upgrader.sh @@ -38,7 +38,7 @@ find_chibi_files() { local search_path="$1" shift local conditions=( "$@" ) - find "$search_path" -not -path '*/lib/chibios*' -and -not -path '*/lib/ugfx*' -and -not -path '*/util/*' -and \( "${conditions[@]}" \) | sort + find -L "$search_path" -not -path '*/lib/chibios*' -and -not -path '*/lib/ugfx*' -and -not -path '*/util/*' -and \( "${conditions[@]}" \) | sort } revert_chibi_files() { |