aboutsummaryrefslogtreecommitdiff
path: root/util/chibios-upgrader.sh
diff options
context:
space:
mode:
Diffstat (limited to 'util/chibios-upgrader.sh')
-rwxr-xr-xutil/chibios-upgrader.sh6
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
44revert_chibi_files() { 48revert_chibi_files() {