Merge remote-tracking branch 'origin/master' into develop

2020-12-20 08:09:09 +00:00 · 2020-12-20 08:09:09 +00:00 · aee1798476
parent 24e827ee1f 13bbeefc5a
commit aee1798476
1 changed files with 2 additions and 2 deletions
--- a/util/list_keyboards.sh
+++ b/util/list_keyboards.sh
@ -3,7 +3,7 @@
 #
 # This allows us to exclude keyboards by including a .noci file.

-find keyboards -type f -name rules.mk | grep -v keymaps | while read keyboard; do
+find -L keyboards -type f -name rules.mk | grep -v keymaps | while read keyboard; do
 	keyboard=$(echo $keyboard | sed 's!keyboards/\(.*\)/rules.mk!\1!')

 	[ "$1" = "noci" -a -e "keyboards/${keyboard}/.noci" ] || echo "$keyboard"