diff options
Diffstat (limited to '')
-rwxr-xr-x | tools/build/search-id.sh | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/tools/build/search-id.sh b/tools/build/search-id.sh deleted file mode 100755 index a94d2d7cc9..0000000000 --- a/tools/build/search-id.sh +++ /dev/null @@ -1,15 +0,0 @@ -#!/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/$$* |