diff options
| author | Bruce Momjian <bruce@momjian.us> | 2025-11-22 12:01:56 -0500 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2025-11-22 12:02:14 -0500 |
| commit | c0bc9af15197e3604a6ec205a7485de21b0b21af (patch) | |
| tree | 35ca02ad47c2c7d589ae1ec72b10322f900c0c3d | |
| parent | 5eed8ce50ce9df1067b95593dde9f4fc526dfc72 (diff) | |
tools: remove src/tools/codelines
This is a one-line script never gained general usage since being added
in 2005.
Backpatch-through: master
| -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 |