Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
*Actually* fix
make install
with rlibs
Turns out that we only want to install the target rlibs, not the host rlibs. I had it backwards the first time, then mixed up the second time, but this time should get it right. There's no need for host rlib files because none of them are needed at runtime.
- Loading branch information
c6e934f
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
r+