workspace: remove profiles

This commit is contained in:
Alex Janka 2024-11-17 14:26:27 +11:00
parent efb7bc6cd1
commit f267730220

View file

@ -42,11 +42,11 @@ nb = "1.1"
default-target = "thumbv4t-none-eabi" default-target = "thumbv4t-none-eabi"
cargo-args = ["-Zbuild-std=core,alloc"] cargo-args = ["-Zbuild-std=core,alloc"]
[profile.dev] # [profile.dev]
opt-level = 3 # opt-level = 3
debug = true # debug = true
[profile.release] # [profile.release]
opt-level = 3 # opt-level = 3
lto = "fat" # lto = "fat"
debug = true # debug = true