aboutsummaryrefslogtreecommitdiff
path: root/bin/grephdr.sh
diff options
context:
space:
mode:
Diffstat (limited to 'bin/grephdr.sh')
-rwxr-xr-xbin/grephdr.sh4
1 files changed, 0 insertions, 4 deletions
diff --git a/bin/grephdr.sh b/bin/grephdr.sh
deleted file mode 100755
index dd9050335..000000000
--- a/bin/grephdr.sh
+++ /dev/null
@@ -1,4 +0,0 @@
1#!/bin/sh
2# This script is in the public domain.
3# grepsrc.sh string --- greps for string over all header files
4find . -name "*.h" -print | grep -v "#" | xargs grep "$@"