tree bb35dc5904a690b4f3a0ea8d5b32e78f0a610e02
parent 7393df7d3668ef181d6d5c354374cc82bfff34b6
author Przemyslaw Szczepaniak <pszczepaniak@google.com> 1448031903 +0000
committer The Android Automerger <android-build@google.com> 1448306995 -0800

Allow for 5200 words in dump-words-to-file

After switching to OpenJdk,  doc-comment-check target
started to fail due to "Too many words (5082)" while
generating out/target/common/docs/doc-comment-check-timestamp.rsp
This change extends number of dumped words to 5200.

Bug: 25758743
Change-Id: Ifdc23d57c888c83533d237dd0a3bdafd20912cdf