minerva / Ports / dash / patches /
@minerva minerva authored on 13 Jul
..
0001-Replace-a-use-of-wait3-with-waitpid-in-the-job-contr.patch Initial commit 7 months ago
0002-Skip-building-helpers-by-default.patch Initial commit 7 months ago
ReadMe.md Initial commit 7 months ago
ReadMe.md

Patches for dash on Minerva

0001-Replace-a-use-of-wait3-with-waitpid-in-the-job-contr.patch

Replace a use of wait3() with waitpid() in the job control

wait3() does not exist on minerva.

0002-Skip-building-helpers-by-default.patch

Skip building helpers by default