It is too easy to make trivial style mistakes like keeping trailing whitespace in the code. This is particularly an issue for pull requests because GitHub does not display such issues in the diff.
We should introduce a minimal check-lintMakefile target that does some simple validation and run that as a Travis job, just like we do for Doxygen.
It is too easy to make trivial style mistakes like keeping trailing whitespace in the code. This is particularly an issue for pull requests because GitHub does not display such issues in the diff.
We should introduce a minimal
check-lint
Makefile
target that does some simple validation and run that as a Travis job, just like we do for Doxygen.