diff options
author | Frederic Crozat <fcrozat@mandriva.com> | 2008-01-25 16:01:41 +0100 |
---|---|---|
committer | Danny Kukawka <danny.kukawka@web.de> | 2008-01-25 16:01:41 +0100 |
commit | 612de5d67ada5760188f4150103eb0aede3854ed (patch) | |
tree | dd087a1d7434adb237580a674e09e0874a4205f3 /tools | |
parent | 761a55cfdbddeeba57358109c2bd16f15ef30105 (diff) |
fix hal-info check
This fixes make check for hal-info when some part of a fdi file are
commented. It strips commented parts of fdi before they are checked.
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/keymap-check.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/keymap-check.sh b/tools/keymap-check.sh index 5cb8faf..a05e029 100755 --- a/tools/keymap-check.sh +++ b/tools/keymap-check.sh @@ -17,7 +17,7 @@ isin () # processes each line of the fdi file get_line () { - cat "$1" | grep "input.keymap.data" | while read line + cat "$1" | sed -ne '/<!--/ { :c; /-->/! { N; b c; }; /-->/s/<!--.*-->//g }; /^ *$/!p;' | grep "input.keymap.data" | while read line do data=`echo "${line}" | cut -d":" -f2 | cut -d"<" -f1` found=`isin $data` |