diff options
| author | Antoine Leca <Antoine.Leca.1@gmail.com> | 2016-11-04 19:19:14 +0100 |
|---|---|---|
| committer | Lionel Sambuc <lionel.sambuc@gmail.com> | 2016-11-30 08:42:36 +0100 |
| commit | 3f862305f83a4a0421b5952d0686bebd9aeee0bc (patch) | |
| tree | c83bb44b9ae100f8dd35e4b697cd7e443dff4f08 /gnu?id=3f862305f83a4a0421b5952d0686bebd9aeee0bc | |
| parent | 117b6ea00345c1559dda32fe246e18bcddea9322 (diff) | |
Fix the process for GNU tools on MINIX
This is a fix over commit a150b26ee803b20080
On a MINIX station, the tools are not usually built and
on a first-time building of the tree, the fetching script
of texinfo was not triggered in some cases. Let force it.
Reported on minix3 googlegroup by Chris Card.
Change-Id: I8beafdeaec66bb1f1f3250bd64c1e14c0023e9d0
Diffstat (limited to 'gnu?id=3f862305f83a4a0421b5952d0686bebd9aeee0bc')
0 files changed, 0 insertions, 0 deletions