2018-02-03 10:51:06 +01:00
|
|
|
[workspace]
|
2019-10-17 22:01:53 +02:00
|
|
|
members = [ "crates/*", "xtask/" ]
|
2018-08-15 23:23:22 +02:00
|
|
|
|
2019-10-11 10:06:28 +02:00
|
|
|
[profile.dev]
|
2019-11-11 08:11:46 +01:00
|
|
|
# disabling debug info speeds up builds a bunch,
|
|
|
|
# and we don't rely on it for debugging that much.
|
|
|
|
debug = 0
|
2019-10-11 10:06:28 +02:00
|
|
|
|
2018-08-15 23:23:22 +02:00
|
|
|
[profile.release]
|
2018-12-20 09:53:29 +01:00
|
|
|
incremental = true
|
2019-11-15 19:18:44 +01:00
|
|
|
debug = 0 # set this to 1 or 2 to get more useful backtraces in debugger
|
2018-12-30 09:09:17 +01:00
|
|
|
|
|
|
|
[patch.'crates-io']
|