diff --git a/scripts/grep-global b/scripts/grep-global new file mode 100755 index 00000000..a95a0549 --- /dev/null +++ b/scripts/grep-global @@ -0,0 +1,6 @@ +#!/bin/bash + +export LANG=C +find . -name "*.cc" -exec grep -H $@ {} \; +find . -name "*.h" -exec grep -H $@ {} \; +