diff options
| author | Antoine Leca <Antoine.Leca.1@gmail.com> | 2016-08-29 13:48:31 +0200 |
|---|---|---|
| committer | Lionel Sambuc <lionel.sambuc@gmail.com> | 2016-09-01 21:16:13 +0200 |
| commit | a150b26ee803b20080e65cd7a048322ba498f6bf (patch) | |
| tree | c438a6fd87a3c5fef5be6ccc9af348c64974fffa /gnu/Makefile?id=a150b26ee803b20080e65cd7a048322ba498f6bf | |
| parent | 76c7f3dac9e3d9b44dd3e1149eedba8b175383ba (diff) | |
Improve the process for GNU tools
Split the process to fetch GNU tools (until now embedded
within tools/Makefile.gnuhost) into a new Makefile.fetchgnu,
MINIX-specific hence relocated, which is to be also used
to fetch sources even when not building the tools.
Use it for binutils too.
Improve documentation.
Also do not run configure on each run when MKUPDATE=yes
The .WAIT serialization instruction between fetching and other
configure sources was raising a new run of configure at each
compilation. Avoid it by using two rules.
Change-Id: Ie24950ccbb5c5067f3c1ea57b7bd8294e4c9445e
Diffstat (limited to 'gnu/Makefile?id=a150b26ee803b20080e65cd7a048322ba498f6bf')
0 files changed, 0 insertions, 0 deletions