Merge #195

195: Integration tests: Use default profile r=jounathaen a=mkroening For easy integration tests of gdbstub, I need the `dev` `opt-level` to be 0. On `release`, `opt-level` is 3 by default. Co-authored-by: Martin Kröning <mkroening@posteo.net>
hermit-os · Sep 22, 2021 · e8b410d · e8b410d
2 parents 02673ef + 7b91cca
commit e8b410d
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/tests/test-kernels/Cargo.toml b/tests/test-kernels/Cargo.toml
@@ -7,9 +7,3 @@ publish = false
 
 [target.'cfg(target_os = "hermit")'.dependencies]
 hermit-sys = "0.1"
-
-[profile.release]
-opt-level = 3
-
-[profile.dev]
-opt-level = 1      # controls the `--opt-level` the compiler builds with