diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-11-27 10:16:45 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-27 10:16:45 -0500 |
| commit | e7d4e656603925c7fc86f214d9d26e9de5a065ed (patch) | |
| tree | 3bfb0530e28c5f0c115dfc216d446317bf723f25 /tests | |
| parent | c6f4dcce47433b2677375c69b269c30028bbb82b (diff) | |
| parent | 8c29eeaf8f0f9990a60927ae032f7c42d4842f4e (diff) | |
| download | servo-e7d4e656603925c7fc86f214d9d26e9de5a065ed.tar.gz servo-e7d4e656603925c7fc86f214d9d26e9de5a065ed.zip | |
Auto merge of #22274 - servo:jdm-patch-10, r=nox
Update the manifest twice to work around manifest generation issue.
My theory is that the new VCS-based cache that's used when generating the manifest gets confused when files that match a gitignore rule are added for the first time. Updating the manifest twice makes the problematic files disappear from the manifest, and I'm not inclined to spend any more time chasing this bug. Fixes #22275.
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/22274)
<!-- Reviewable:end -->
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions