diff options
| author | Zach White <skullydazed@gmail.com> | 2021-01-13 08:12:28 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-13 08:12:28 -0800 |
| commit | 6368a5697d157000fc92666b8f31602b5ca5ecb0 (patch) | |
| tree | db16b84ebd08734c3d3c6be39cd3d03e38521a33 /util | |
| parent | 09835033da0c20412de3ac8ec48117ef1413c6a5 (diff) | |
Exclude more keyboards from CI (#11436)
* exclude all of handwired * exclude more keyboards from CI
Diffstat (limited to 'util')
| -rwxr-xr-x | util/list_keyboards.sh | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/util/list_keyboards.sh b/util/list_keyboards.sh index 1c103e0f11..aa6ed1c6af 100755 --- a/util/list_keyboards.sh +++ b/util/list_keyboards.sh @@ -4,5 +4,15 @@ # This allows us to exclude keyboards by including a .noci file. find -L keyboards -type f -name rules.mk | grep -v keymaps | sed 's!keyboards/\(.*\)/rules.mk!\1!' | while read keyboard; do - [ "$1" = "noci" -a -e "keyboards/${keyboard}/.noci" ] || echo "$keyboard" + if [ "$1" = "noci" ]; then + case "$keyboard" in + handwired/*) + ;; + *) + test -e "keyboards/${keyboard}/.noci" || echo "$keyboard" + ;; + esac + else + echo "$keyboard" + fi done |