aboutsummaryrefslogtreecommitdiff
path: root/bin/grephdr.sh
diff options
context:
space:
mode:
authorpsyc://loupsycedyglgamf.onion/~lynX <ircs://psyced.org/youbroketheinternet>1984-04-04 00:44:05 +0000
committerpsyc://loupsycedyglgamf.onion/~lynX <ircs://psyced.org/youbroketheinternet>1984-04-04 00:44:05 +0000
commitfa560e75709e28f3e653db817e6b9b42aa1a933e (patch)
tree7904e4c517d3ed66575b0d980f2df8426312b62d /bin/grephdr.sh
parente73402fc3a6f233b48330435f61ccd93722ac0e5 (diff)
downloadgnunet-fa560e75709e28f3e653db817e6b9b42aa1a933e.tar.gz
gnunet-fa560e75709e28f3e653db817e6b9b42aa1a933e.zip
-irrelevant typos
Diffstat (limited to 'bin/grephdr.sh')
-rwxr-xr-xbin/grephdr.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/grephdr.sh b/bin/grephdr.sh
index 203370b6c..dd9050335 100755
--- a/bin/grephdr.sh
+++ b/bin/grephdr.sh
@@ -1,4 +1,4 @@
1#!/bin/sh 1#!/bin/sh
2# This scipt is in the public domain. 2# This script is in the public domain.
3# grepsrc.sh string --- greps for string over all java files 3# grepsrc.sh string --- greps for string over all header files
4find . -name "*.h" -print | grep -v "#" | xargs grep "$@" 4find . -name "*.h" -print | grep -v "#" | xargs grep "$@"