]> https://gitweb.dealii.org/ - dealii.git/commit
Add script that reindents recently changed files.
authorDavid Wells <drwells@vt.edu>
Fri, 25 May 2018 21:29:48 +0000 (17:29 -0400)
committerMatthias Maier <tamiko@43-1.org>
Fri, 15 Jun 2018 05:13:32 +0000 (00:13 -0500)
commita5938bf6fba228bdff590a1b8fc02f0f78f19a52
tree9b5305ab566a0a7679ae3fe749ebcb3325d757fa
parent593fc324044b844a542649f8c3caba885a448c94
Add script that reindents recently changed files.

My laptop needs about 30s to run clang-format since the script currently
reindents all files regardless of whether or not they have been
modified. This PR adds a new target indent-branch that only reindents
files that have been modified (or added) since the last commit to
master. This takes less than a second to run (with a few files changed)
on my laptop.
cmake/setup_custom_targets.cmake
contrib/utilities/indent-branch [new file with mode: 0755]
contrib/utilities/indent_common.sh

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.