New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
make dist -j24
fails, and make
raises warnings
#830
Comments
Here's the error log, if anyone can make sense of it. |
It seems something to do with the names of the manual pages, which we autogenerate from the names of the xml files, but the Makefile raises a few warnings. |
A simple |
Here's a fragment of the log:
|
alejandro-colomar
changed the title
make dist -j24 fails
Oct 29, 2023
make dist -j24
fails, and make -j24
raises warnings
alejandro-colomar
changed the title
Oct 30, 2023
make dist -j24
fails, and make -j24
raises warningsmake dist -j24
fails, and make
raises warnings
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
I tried
make dist -j24
, but it fails. Maybe the build system has either race conditions, or missing/wrong dependencies.It is unstable: in some runs it succeeds, and in others it fails.
The text was updated successfully, but these errors were encountered: