]> https://gitweb.dealii.org/ - dealii.git/commitdiff
fix script 9984/head
authorTimo Heister <timo.heister@gmail.com>
Tue, 28 Apr 2020 18:50:14 +0000 (14:50 -0400)
committerTimo Heister <timo.heister@gmail.com>
Wed, 29 Apr 2020 00:59:52 +0000 (20:59 -0400)
contrib/utilities/run_clang_tidy.sh

index 234613367ee10bf1bcad4887637a705e63ff4e2d..989d9b5ce4516adf7a2492206a0ebf015033e0d4 100755 (executable)
@@ -67,7 +67,7 @@ cmake --build . --target expand_all_instantiations || (echo "make expand_all_ins
 run-clang-tidy.py -p . -quiet -header-filter "$SRC/include/*" -extra-arg='-DCLANG_TIDY' 2>error.txt >output.txt
 
 # grep interesting errors and make sure we remove duplicates:
-grep -E '(warning|error): ' output.txt output2.txt | sort | uniq >clang-tidy.log
+grep -E '(warning|error): ' output.txt | sort | uniq >clang-tidy.log
 
 # if we have errors, report them and set exit status to failure
 if [ -s clang-tidy.log ]; then

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.