Merge #314

314: do not optimize build deps r=korken89 a=japaric

this may make CI faster

Co-authored-by: Jorge Aparicio <jorge@japaric.io>

3 files changed, 19 insertions, 0 deletions

diff --git a/Cargo.toml b/Cargo.toml
index fbc56c4..41e5402 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -93,3 +93,19 @@ members = [
   "homogeneous",
   "macros",
 ]
+
+# do not optimize proc-macro deps or build scripts
+[profile.dev.build-override]
+codegen-units = 16
+debug = false
+debug-assertions = false
+opt-level = 0
+overflow-checks = false
+
+
+[profile.release.build-override]
+codegen-units = 16
+debug = false
+debug-assertions = false
+opt-level = 0
+overflow-checks = false
diff --git a/macros/src/codegen.rs b/macros/src/codegen.rs
index 6007484..80e65cd 100644
--- a/macros/src/codegen.rs
+++ b/macros/src/codegen.rs
@@ -75,6 +75,8 @@ pub fn app(app: &App, analysis: &Analysis, extra: &Extra) -> TokenStream2 {
             #section
             #cfg_core
             unsafe extern "C" fn #main() -> ! {
+                let _TODO: () = ();
+
                 #(#assertion_stmts)*
 
                 #(#pre_init_stmts)*
diff --git a/src/lib.rs b/src/lib.rs
index 614ba85..98dd615 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -164,6 +164,7 @@ pub trait Monotonic {
 /// A marker trait that indicates that it is correct to use this type in multi-core context
 pub trait MultiCore {}
 
+
 /// Sets the given `interrupt` as pending
 ///
 /// This is a convenience function around