diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/tools/codelines | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/tools/codelines b/src/tools/codelines deleted file mode 100755 index 93ad571acf9..00000000000 --- a/src/tools/codelines +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/sh - -# src/tools/codelines - -# This script is used to compute the total number of "C" lines in the release -# This should be run from the top of the Git tree. -git ls-files -- '*.[chyl]' | xargs cat | wc -l |