tools: update tools/codelines to use "git ls-files"
authorBruce Momjian <bruce@momjian.us>
Thu, 20 Nov 2025 20:23:39 +0000 (15:23 -0500)
committerBruce Momjian <bruce@momjian.us>
Thu, 20 Nov 2025 20:23:39 +0000 (15:23 -0500)
commit5d4dc112c7c6c10be739d61e8be012f20e9fdbbf
treea3c39f9242a3e59b66b9d039cb57e8ad728b2e81
parent65ec565b19fc35e9b09edcba4aecac350334ce87
tools:  update tools/codelines to use "git ls-files"

This generates a more accurate code count because 'make distclean'
doesn't always remove build files.

Author: idea from David Rowley

Discussion: https://postgr.es/m/aR4hoOotVHB7TXo5@momjian.us

Backpatch-through: master
src/tools/codelines