diff options
Diffstat (limited to '')
-rwxr-xr-x | tools/build/search-id.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/tools/build/search-id.sh b/tools/build/search-id.sh new file mode 100755 index 0000000000..a94d2d7cc9 --- /dev/null +++ b/tools/build/search-id.sh @@ -0,0 +1,15 @@ +#!/bin/sh +# +# $Id$ +# + +find $1 -type f -a ! -name "*.scn" -a ! -name "bsp_specs" -a \ + -print > /tmp/$$.0 +find $1 -type f -a ! -name "*.scn" -a ! -name "bsp_specs" -a \ + -exec grep -l '$Id' {} \; > /tmp/$$.1 + +diff /tmp/$$.0 /tmp/$$.1 > /tmp/$$.2 + +grep "<" /tmp/$$.2 | sed 's/< //' >&1 + +rm -f /tmp/$$* |