summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorbors-servo <lbergstrom+bors@mozilla.com>2016-10-30 12:07:54 -0500
committerGitHub <noreply@github.com>2016-10-30 12:07:54 -0500
commit850457028a92e73cfecf93996b99a7ee518ec4ef (patch)
tree37ef82fabcf939a414fd51374ace1a7e73f2f056
parent604965a58b69e7c3d1b4d38dcd9f75d95cd4363c (diff)
parent69d85b56129d1be2b5eff1f53c02caa48470d7f9 (diff)
Auto merge of #170 - jeanphilippeD:doc01, r=emilio
Add CI build command line in contributing
-rw-r--r--CONTRIBUTING.md4
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"/>