diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-04-17 08:39:24 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-17 08:39:24 -0500 |
| commit | 76cc0887313a69c0242cbcea6c1d38ef73a61993 (patch) | |
| tree | 6c461c02f2644617855e8dc63bd902b6d11d36a2 /src/codegen/mod.rs | |
| parent | 719d03c7724da0c93b05b891465b2df4299ef169 (diff) | |
| parent | aaa42bcccb54f4025c0e129728432056b78e95d6 (diff) | |
Auto merge of #637 - emilio:headers-dir, r=SimonSapin
build: Don't always expect a tests/headers directory.
It may not exist after packaging. This should unblock publishing bindgen.
Diffstat (limited to 'src/codegen/mod.rs')
0 files changed, 0 insertions, 0 deletions