Skip to content

Conversation

@trebmuh
Copy link
Contributor

@trebmuh trebmuh commented Nov 12, 2025

Ici, ça évite que le make install ne se vautre.

@Houston4444
Copy link
Owner

Ben, je ne suis pas pour.
Les dossiers sont normalement déjà créés quelques lignes plus tôt (l149 et l151) avec install -d, refaire la même chose avec mkdir -p n'a a priori aucun sens (même si je comprends bien que dans ton cas ça marche).

Avais-tu essayé avec make -j1 ?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants