diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-10-30 12:07:54 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-30 12:07:54 -0500 |
commit | 850457028a92e73cfecf93996b99a7ee518ec4ef (patch) | |
tree | 37ef82fabcf939a414fd51374ace1a7e73f2f056 | |
parent | 604965a58b69e7c3d1b4d38dcd9f75d95cd4363c (diff) | |
parent | 69d85b56129d1be2b5eff1f53c02caa48470d7f9 (diff) |
Auto merge of #170 - jeanphilippeD:doc01, r=emilio
Add CI build command line in contributing
-rw-r--r-- | CONTRIBUTING.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 3f1e39d8..001ad0e2 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -39,6 +39,10 @@ Additionally, you may want to build and test with the `_docs` feature to ensure that you aren't forgetting to document types and functions. CI will catch it if you forget, but the turn around will be a lot slower ;) +``` +$ cargo build --features "llvm_stable _docs" +``` + ## Testing <span id="tests"/> ### Overview <span id="tests-overview"/> |