diff options
| author | Björn Gustavsson <[email protected]> | 2011-10-06 13:19:22 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2011-10-06 13:23:16 +0200 |
| commit | 199248be0ce5f5d147689b9608aa52e981c407ef (patch) | |
| tree | 333e9992bb90dd0a282c4c2938ef2693176c81b5 /lib/ic/examples/pre_post_condition/Makefile | |
| parent | 238753cfd7887167f6ec19d7cde730b04214334d (diff) | |
| download | otp-199248be0ce5f5d147689b9608aa52e981c407ef.tar.gz otp-199248be0ce5f5d147689b9608aa52e981c407ef.tar.bz2 otp-199248be0ce5f5d147689b9608aa52e981c407ef.zip | |
ic documentation: Support parallel make
Multiple instances of javadoc would be started at once, which is
unnecessary work and could cause one or more instances to fail
while creating directories. Use a stand-in file (JAVADOC-GENERATED)
to ensure that only one instance of javadoc is started.
Since javadoc creates directories itself, there is no need to
explicitly create the $(JAVA_OUT_DIR) directory.
Diffstat (limited to 'lib/ic/examples/pre_post_condition/Makefile')
0 files changed, 0 insertions, 0 deletions