diff options
| author | Dario Nieuwenhuis <[email protected]> | 2025-02-04 23:55:39 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-02-04 23:55:39 +0000 |
| commit | f663f3b67571abfecbcb642e7e8411dd8f30dc65 (patch) | |
| tree | 59c1978377d57daba1676a08fbfd8fb594ffcfeb | |
| parent | a2014c961d5ed1ebb665542aba208c60c9071cd5 (diff) | |
| parent | 26c6ab7587124b697c821a91bbf289efc29db822 (diff) | |
Merge pull request #3850 from vic1707/patch-1
Disable clippy error around generated main function
| -rw-r--r-- | embassy-executor-macros/src/macros/main.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/embassy-executor-macros/src/macros/main.rs b/embassy-executor-macros/src/macros/main.rs index 14b1d9de2..a774cf622 100644 --- a/embassy-executor-macros/src/macros/main.rs +++ b/embassy-executor-macros/src/macros/main.rs | |||
| @@ -161,6 +161,7 @@ pub fn run(args: TokenStream, item: TokenStream, arch: &Arch) -> TokenStream { | |||
| 161 | 161 | ||
| 162 | let result = quote! { | 162 | let result = quote! { |
| 163 | #[::embassy_executor::task()] | 163 | #[::embassy_executor::task()] |
| 164 | #[allow(clippy::future_not_send)] | ||
| 164 | async fn __embassy_main(#fargs) #out { | 165 | async fn __embassy_main(#fargs) #out { |
| 165 | #f_body | 166 | #f_body |
| 166 | } | 167 | } |