From 89c91bf9a04b522dfa102e05d4015155d2575263 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Tue, 30 Jul 2019 16:26:19 -0600 Subject: [PATCH] Add a note to the count_lines.sh script. --- contrib/utilities/count_lines.sh | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/contrib/utilities/count_lines.sh b/contrib/utilities/count_lines.sh index 61640aaa73..f449c76077 100755 --- a/contrib/utilities/count_lines.sh +++ b/contrib/utilities/count_lines.sh @@ -38,6 +38,14 @@ # copy you are working in, where it will be an untracked file that # git leaves alone as it cycles through repository commits. # +# NOTE: Separately, since the script requires git to check out many +# different versions, all of which have files that may not exist +# in the current tip of the git repository you have on your hard +# drive, or have files that have changed over time, it is going +# to lead to certain heartbreak if you run this script in a directory +# that has anything other than a pristine clone of the current git +# repository. Do not run it in directory in which you do or have +# done development work. # # The output of this file consists of three numbers per line, showing # date source-lines test-lines -- 2.39.5