diff options
| author | Christian Grothoff <christian@grothoff.org> | 2009-05-29 00:46:26 +0000 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2009-05-29 00:46:26 +0000 |
| commit | 0a217a8df1657b4334b55b0e4a6c7837a8dbcfd9 (patch) | |
| tree | 6b552f40eb089db96409a312a98d9b12bd669102 /bin/grephdr.sh | |
| download | gnunet-0a217a8df1657b4334b55b0e4a6c7837a8dbcfd9.tar.gz gnunet-0a217a8df1657b4334b55b0e4a6c7837a8dbcfd9.zip | |
ng
Diffstat (limited to 'bin/grephdr.sh')
| -rwxr-xr-x | bin/grephdr.sh | 3 |
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 | ||
| 3 | find . -name "*.h" -print | grep -v "#" | xargs grep "$@" | ||