From 413ca089db00fa69373498e91872f4d30e061d5f Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Tue, 26 May 2020 21:43:11 +0200
Subject: [PATCH 1/4] do not optimize build deps

---
 Cargo.toml | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/Cargo.toml b/Cargo.toml
index 603129a2fc..dbe92f5a4c 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -88,3 +88,18 @@ 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

From 709e893d0055381a751b1ac34a43282f19912711 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Tue, 26 May 2020 22:08:31 +0200
Subject: [PATCH 2/4] trigger incremental CI re-build

---
 Cargo.toml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Cargo.toml b/Cargo.toml
index dbe92f5a4c..bf47fe7433 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -97,6 +97,7 @@ debug-assertions = false
 opt-level = 0
 overflow-checks = false
 
+
 [profile.release.build-override]
 codegen-units = 16
 debug = false

From 303e964a1065fc8a1ef5e76ae8bffb27bcf0ef5e Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Tue, 26 May 2020 22:16:31 +0200
Subject: [PATCH 3/4] touch src/lib.rs

---
 src/lib.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/lib.rs b/src/lib.rs
index 614ba853af..98dd615712 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

From 3ed4fe3771e0187cb1ab40511803fc117e2e36f6 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Tue, 26 May 2020 22:21:32 +0200
Subject: [PATCH 4/4] TODO(remove) codegen no-op

---
 macros/src/codegen.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/macros/src/codegen.rs b/macros/src/codegen.rs
index 7d0d1220e3..b30659f53e 100644
--- a/macros/src/codegen.rs
+++ b/macros/src/codegen.rs
@@ -74,6 +74,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)*