From: Wolfgang Bangerth Date: Tue, 30 Jul 2019 22:26:19 +0000 (-0600) Subject: Add a note to the count_lines.sh script. X-Git-Tag: v9.2.0-rc1~1336^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F8436%2Fhead;p=dealii.git Add a note to the count_lines.sh script. --- 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