summaryrefslogtreecommitdiffstats
path: root/util
diff options
context:
space:
mode:
authorNick Brassel <nick@tzarc.org>2020-03-01 11:50:49 +1100
committerGitHub <noreply@github.com>2020-03-01 11:50:49 +1100
commitd0c3acbe3e58c1ad8bc74a8a53522cbe523eea53 (patch)
treee091be250e8db736d875d4fddd92d3c6bbe47130 /util
parentc775104b9f60d738fd69166da33972d60034c639 (diff)
Allow for ChibiOS 20.x (master), as well as enabling ChibiOS-Contrib HAL. (#8272)
Diffstat (limited to 'util')
-rwxr-xr-xutil/chibios-upgrader.sh2
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() {