diff options
Diffstat (limited to '')
| -rwxr-xr-x | devtools/find-type-definition | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/devtools/find-type-definition b/devtools/find-type-definition new file mode 100755 index 0000000..26e19f2 --- /dev/null +++ b/devtools/find-type-definition @@ -0,0 +1,8 @@ +#!/bin/sh + +type="$1" +shift 1 + +grep -r '\(define\s\+\(__kernel_\)\?'"$type"'\s\|typedef\s.*\s\(__kernel_\)\?'"$type"'\b\)' "$@" \ +| sed 's/^\([^:]*\):/\x1b[35m\1\x1b[m /' \ +| sed 's/\(__kernel_\)\?'"$type"'/\x1b[1;31m&\x1b[m/g' |