From c0bc9af15197e3604a6ec205a7485de21b0b21af Mon Sep 17 00:00:00 2001
From: Bruce Momjian <bruce@momjian.us>
Date: Sat, 22 Nov 2025 12:01:56 -0500
Subject: tools:  remove src/tools/codelines

This is a one-line script never gained general usage since being added
in 2005.

Backpatch-through: master
---
 src/tools/codelines | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100755 src/tools/codelines

(limited to 'src')

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
-- 
cgit v1.2.3