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 /.gitignore | |
| 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 '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index e5f0869f27..e6920fbeca 100644 --- a/.gitignore +++ b/.gitignore @@ -100,6 +100,9 @@ make/win32/ # Used by ic & orber & cos* applications. IDL-GENERATED +# Used by applications that run javadoc (e.g. ic). +JAVADOC-GENERATED + # Anchored from $ERL_TOP /bin /config.log |