]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Add a note to the count_lines.sh script. 8436/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Tue, 30 Jul 2019 22:26:19 +0000 (16:26 -0600)
committerWolfgang Bangerth <bangerth@colostate.edu>
Tue, 30 Jul 2019 22:26:19 +0000 (16:26 -0600)
contrib/utilities/count_lines.sh

index 61640aaa73bb2fef5dd0dc4cfbbfbf9b0ec4f62b..f449c7607707d6db17ddae7d5527f2f945f723bf 100755 (executable)
 #       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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.