|
|
@ -83,13 +83,14 @@ If you want to pass something 'as is' to the subprocesses, do not enable the `ch
|
|
|
|
## Optional features
|
|
|
|
## Optional features
|
|
|
|
There are a few compile-time features that can be enabled/disabled for additional functionality.
|
|
|
|
There are a few compile-time features that can be enabled/disabled for additional functionality.
|
|
|
|
|
|
|
|
|
|
|
|
| Name | Description | Default |
|
|
|
|
| Name | Description | Default |
|
|
|
|
|----------------|--------------------------------------------------------|---------|
|
|
|
|
|----------------|----------------------------------------------------------------|---------|
|
|
|
|
| `splash` | Show program information when printing help | On |
|
|
|
|
| `splash` | Show program information when printing help | On |
|
|
|
|
| `colour` | Enable colouring of certain outputs, like warnings | On |
|
|
|
|
| `colour` | Enable colouring of certain outputs, like warnings | On |
|
|
|
|
| `progress` | Enable progress bar | On |
|
|
|
|
| `progress` | Enable progress bar | On |
|
|
|
|
| `threads` | Enable threaded scheduler | Off |
|
|
|
|
| `collect_err` | Collect children's `stderr` instead of printing it immediately | On |
|
|
|
|
| `checked_pass` | Check the arguments sent to leanify with `passthrough` | Off |
|
|
|
|
| `threads` | Enable threaded scheduler | Off |
|
|
|
|
|
|
|
|
| `checked_pass` | Check the arguments sent to leanify with `passthrough` | Off |
|
|
|
|
|
|
|
|
|
|
|
|
When building with Rust nightly, some other optimisations and features will be present.
|
|
|
|
When building with Rust nightly, some other optimisations and features will be present.
|
|
|
|
|
|
|
|
|
|
|
|