diff options
| -rwxr-xr-x | util/list_keyboards.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/util/list_keyboards.sh b/util/list_keyboards.sh index 672d4a7843..7849cf4d91 100755 --- a/util/list_keyboards.sh +++ b/util/list_keyboards.sh @@ -3,8 +3,8 @@ # # 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 - keyboard=$(echo $keyboard | sed 's!keyboards/\(.*\)/rules.mk!\1!') +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" done |