Merge branch 'master' of git+ssh://gnunet.org/gnunet
[oweals/gnunet.git] / bin / grepsrc.sh
1 #!/bin/sh
2 # grepsrc.sh string  --- greps for string over all C files
3 find . -name "*.c" -print | grep -v "#" | xargs grep -n "$*"