extras/keymap/check-keymaps.sh: Ignore comment-only lines

diff --git a/extras/keymap/check-keymaps.sh b/extras/keymap/check-keymaps.sh
index 892fcfd6c34d1fab22da1f87a54cb3b09b01f03e..c92246a2cd3fdd35d2ea515d16897059f4058579 100755 (executable)
--- a/extras/keymap/check-keymaps.sh
+++ b/extras/keymap/check-keymaps.sh
@@ -13,7 +13,8 @@ RULES=$SRCDIR/extras/keymap/95-keymap.rules
     exit 1
 }
 
-missing=$(join -v 2 <(awk '{print tolower(substr($1,5))}' $KEYLIST | sort -u) <(awk '{print $2}' ${KEYMAPS_DIR}/*|sort -u))
+missing=$(join -v 2 <(awk '{print tolower(substr($1,5))}' $KEYLIST | sort -u) \
+                    <(grep -hv '^#' ${KEYMAPS_DIR}/*| awk '{print $2}' | sort -u))
 [ -z "$missing" ] || {
     echo "ERROR: unknown key names in extras/keymap/keymaps/*:" >&2
     echo "$missing" >&2