Dependencies for interval-1.20160821
| library |
|
|---|
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| dev | Turn on development settings. | Disabled |
| dump | Dump some intermediate files. | Disabled |
| prof | Turn on profiling settings. | Disabled |
| threaded | Enable threads. | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info