diff options
author | Sébastien Hinderer <seb@tarides.com> | 2022-12-13 14:18:28 +0100 |
---|---|---|
committer | Sébastien Hinderer <seb@tarides.com> | 2022-12-13 14:18:28 +0100 |
commit | 08bb1bbebe1d53502bdcced8b6262d594ad2a5e1 (patch) | |
tree | 73c450a0ee86144841c69c25605872040c1b9414 /tools | |
parent | 70befd9de9527a42a3c69c70906cb0981dc5a48d (diff) | |
download | ocaml-08bb1bbebe1d53502bdcced8b6262d594ad2a5e1.tar.gz |
Remove overly strict dependencies of tools on compilerlibs
Now that each tool specifies on which libraries it depends, there is
no need to wait until all the compiler libs have been built to start
building the tools. The build can thus become more parallel and thus faster.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions