preserve user attributes

This commit is contained in:
Robin Mueller 2025-03-10 09:56:04 +01:00
parent 7c49f482d7
commit 5a37dafec1
No known key found for this signature in database
GPG Key ID: A649FB78196E3849

View File

@ -155,6 +155,11 @@ pub fn run(args: TokenStream, item: TokenStream, arch: &Arch) -> TokenStream {
), ),
}; };
let mut main_attrs = TokenStream::new();
for attr in f.attrs {
main_attrs.extend(quote!(#attr));
}
if !errors.is_empty() { if !errors.is_empty() {
main_body = quote! {loop{}}; main_body = quote! {loop{}};
} }
@ -167,6 +172,7 @@ pub fn run(args: TokenStream, item: TokenStream, arch: &Arch) -> TokenStream {
} }
#entry #entry
#main_attrs
fn main() -> #main_ret { fn main() -> #main_ret {
#main_body #main_body
} }