Skip to content

check that 'make depend' does not fail

(cherry picked from commit 72143feb)

Closes #1764 (closed)

Merge request reports