Alejandro R Mosteo
Alejandro R Mosteo
Yes! Sorry. Restacking closer to the top.
> How do I update the pull request (something like "alr publish update" would be nice)? You clone your fork of the index, check out the branch for this PR,...
Passing checks now. Sorry for the noise, I failed to open the PR in draft mode.
No, the thing is in that some peculiar case (I will look for a reproducer) there's really no output. It might be when the procedure name doesn't match the file...
It sounds sensible, although my experience outside of the standard situation is limited. I'd like to hear more from people that have to deal with these solutions. One thought is:...
I see, thanks for the further info. Next question, what would be a reliable way of detecting which libc a system uses? Preferably without introducing new dependencies.
> Could it be done using the existing crate system? At the bare minimum, this can already be done somewhat cumbersomely (that a word?) by `alr install`ing any such crate,...
This might be due to #1717. Could you try to build after `git revert 16b060b3` and see if that way it works?
Clarification needed: did you revert *the* commit, or *to* the commit? Because if the latter then the problem might be elsewhere.
OK, that makes sense, I see where the problem may be coming from. Thanks!