search

dune-community / dune-xt-common

Other
2 stars 3 forks source link

[WIP] [cmake] ignore (symlinked) header in bindir for headercheck #76

Closed renefritze closed 6 years ago

renefritze commented 6 years ago

This greatly confused the binning script otherwise.

If @tobiasleibner has some idea on how to make the refresh stuff easier to manage, that would be appreciated.

renefritze commented 6 years ago

Seems like we overlooked this PR, @tobiasleibner. This is equivalent to #81