diff options
Diffstat (limited to 'keymap/check-keymaps.sh')
| -rwxr-xr-x | keymap/check-keymaps.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/keymap/check-keymaps.sh b/keymap/check-keymaps.sh index 8d064df..dc46f59 100755 --- a/keymap/check-keymaps.sh +++ b/keymap/check-keymaps.sh @@ -23,4 +23,8 @@ for m in $maps; do echo "ERROR: unknown map name in $RULES: $m" >&2 exit 1 } + grep -q "keymaps/$m\>" Makefile.am || { + echo "ERROR: map file $m is not added to Makefile.am" >&2 + exit 1 + } done |