Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
debian: make sure ndmp headers are generated first
Due to broken ordering in the makefile the ndmp headers might be created too late. This patch now generates them before invoking the "real" make.
- Loading branch information