diff options
| author | Raimo Niskanen <[email protected]> | 2012-01-11 10:15:59 +0100 |
|---|---|---|
| committer | Raimo Niskanen <[email protected]> | 2012-01-13 14:37:05 +0100 |
| commit | e601d283b9edafc6ded6589947f1f2de9ede0248 (patch) | |
| tree | b60b0b0afbb9539596c450aa984d14db97b1959d /lib/edoc | |
| parent | 5bdfce65ad97251e25b09d94231f5a7386a3c4e3 (diff) | |
| download | otp-e601d283b9edafc6ded6589947f1f2de9ede0248.tar.gz otp-e601d283b9edafc6ded6589947f1f2de9ede0248.tar.bz2 otp-e601d283b9edafc6ded6589947f1f2de9ede0248.zip | |
erts,tools: Fix parallel make for erts/lib_src
Use a make timestamp file to condense dependencies to some
part(s) of erts/lib_src build results.
Diffstat (limited to 'lib/edoc')
0 files changed, 0 insertions, 0 deletions