Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse files
Browse the repository at this point in the history
662918c Revert "Merge #620: Install headers automatically" (ian) Pull request description: This reverts commit 91fae3a, reversing changes made to 5df77a0. See discussion in #625 After the change, if we enable any module, `make install` fails because of the duplicated files in the command line arguments. Closes #624 Tree-SHA512: 7769ede527ac307bff094603e5974c56b19e41bc2ef55113173d3dbc8e545d6add7ae044753fa0361595e5e7a746d6c8d641f98caa3381b683aa2b61a1742097
- Loading branch information