Ticket #3376: hgrep

File hgrep, 75 bytes (added by monni, 16 years ago)

Header Grep - hgrep

Line 
1#!/bin/sh
2find /boot/develop/headers -type f -print0 | xargs -0 egrep "$@"