Before pushing this patch I would first like to decide what we will do with the gnu patch PATH_MAX patch, because we need it for wip-hurd.
After that, with this patch, we can merge wip-hurd with core-updates. Manolis
- [PATCH] gnu: make-bootstrap: Remove unneeded configure f... Manolis Ragkousis
- Re: [PATCH] gnu: make-bootstrap: Remove unneeded co... Ludovic Courtès
- Re: [PATCH] gnu: make-bootstrap: Remove unneede... Manolis Ragkousis
- Re: [PATCH] gnu: make-bootstrap: Remove unn... Ludovic Courtès
