Report unused cycle suppressions
commit6c7c7064b0035fc011d7b1293c1e43a766dff1c4
authorTeemu Murtola <teemu.murtola@gmail.com>
Thu, 12 Nov 2015 20:20:00 +0000 (12 22:20 +0200)
committerGerrit Code Review <gerrit@gerrit.gromacs.org>
Fri, 13 Nov 2015 06:08:17 +0000 (13 07:08 +0100)
treeb856c2e6ef82113300bf1bd6a99d47f26b032395
parent56a31f36ed0c9cb255862664c552250920007263
Report unused cycle suppressions

This should make it less likely that we accidentally reintroduce a
dependency that was already once fixed, as currently it is very easy to
forget obsolete suppressions in place.

Change-Id: I686d15cccb342266ffb44e6e3cb52ed4cb92710e
docs/doxygen/check-source.py
docs/doxygen/gmxtree.py