diff options
| author | Björn Gustavsson <[email protected]> | 2011-06-15 18:50:35 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2011-08-08 11:59:09 +0200 |
| commit | 20f410fea8dee5df649762de163a4e29ad2b3074 (patch) | |
| tree | 40d094b20db4a6da03d39a4281ba8e4b6cbfaaf1 /plt/.gitignore | |
| parent | 2d4b312ec5b44ecc1d9cf549224efe121f424098 (diff) | |
| download | otp-20f410fea8dee5df649762de163a4e29ad2b3074.tar.gz otp-20f410fea8dee5df649762de163a4e29ad2b3074.tar.bz2 otp-20f410fea8dee5df649762de163a4e29ad2b3074.zip | |
erts: Fix dependency generation
Apparantly, an invocation like "make generate depend" will run the
'generate' and 'depend' targets in parallel, even if the Makefile
contains a .NOTPARALLEL target. In this case, it will result in
incorrect dependencies since not all files have been generated when
the dependencies are computed.
Split up the single 'make' invocation to two invocations, to force the
targets to be run sequentially.
Diffstat (limited to 'plt/.gitignore')
0 files changed, 0 insertions, 0 deletions