diff options
| author | Sebastian Thiel <byronimo@gmail.com> | 2016-05-26 10:08:45 +0200 |
|---|---|---|
| committer | Sebastian Thiel <byronimo@gmail.com> | 2016-05-26 10:08:45 +0200 |
| commit | eface32e41d9c6607a4a06ce7efc3698ac737bf3 (patch) | |
| tree | b54da034ad5a32978ed6cff2d3a0c2a0284ea6a1 | |
| parent | d5759a3417fa395d439f4283825504dd4f78dc87 (diff) | |
Add `make tips` as useful make target
By accident, I found the `make tips` target, which helped me to gain more insight on how to work with the system more quickly.
| -rw-r--r-- | CONTRIBUTING.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 9d61feef81a..495d7e46baa 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -122,6 +122,8 @@ To see a full list of options, run `./configure --help`. Some common make targets are: +- `make tips` - show useful targets, variables and other tips for working with + the build system. - `make rustc-stage1` - build up to (and including) the first stage. For most cases we don't need to build the stage2 compiler, so we can save time by not building it. The stage1 compiler is a fully functioning compiler and |