aboutsummaryrefslogtreecommitdiff
path: root/bin/grephdr.sh
diff options
context:
space:
mode:
Diffstat (limited to 'bin/grephdr.sh')
-rwxr-xr-xbin/grephdr.sh3
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/grephdr.sh b/bin/grephdr.sh
new file mode 100755
index 000000000..b0f979196
--- /dev/null
+++ b/bin/grephdr.sh
@@ -0,0 +1,3 @@
1#!/bin/sh
2# grepsrc.sh string --- greps for string over all java files
3find . -name "*.h" -print | grep -v "#" | xargs grep "$@"