]> https://gitweb.dealii.org/ - dealii.git/commit
indent_common.sh: Add a REPORT_ONLY mode
authorMatthias Maier <tamiko@43-1.org>
Fri, 15 Jun 2018 01:06:23 +0000 (20:06 -0500)
committerMatthias Maier <tamiko@43-1.org>
Sat, 16 Jun 2018 04:45:39 +0000 (23:45 -0500)
commit7c7bb4dd48457c6e35e63cffce137e0f49dd59ff
tree7f82321cb3ffaf43090428a94b89e93088147c81
parent3c3530b8b93d4924e36ec8b9a593596424f0c922
indent_common.sh: Add a REPORT_ONLY mode

If REPORT_ONLY is set to true, indent and indent-branch only report
errors without actually modifying any files.
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.