Remove obsolete #[no_mange]

pull/35/head
Andre Richter 5 years ago
parent 063051391f
commit 53f6b02787
No known key found for this signature in database
GPG Key ID: 2116C1AB102F615E

@ -141,10 +141,11 @@ diff -uNr 03_hacky_hello_world/src/main.rs 04_zero_overhead_abstraction/src/main
diff -uNr 03_hacky_hello_world/src/runtime_init.rs 04_zero_overhead_abstraction/src/runtime_init.rs
--- 03_hacky_hello_world/src/runtime_init.rs
+++ 04_zero_overhead_abstraction/src/runtime_init.rs
@@ -13,7 +13,7 @@
@@ -12,8 +12,7 @@
/// # Safety
///
/// - Only a single core must be active and running this function.
#[no_mangle]
-#[no_mangle]
-pub unsafe extern "C" fn init() -> ! {
+pub unsafe fn init() -> ! {
extern "C" {

@ -12,7 +12,6 @@
/// # Safety
///
/// - Only a single core must be active and running this function.
#[no_mangle]
pub unsafe fn init() -> ! {
extern "C" {
// Boundaries of the .bss section, provided by the linker script

Binary file not shown.

@ -12,7 +12,6 @@
/// # Safety
///
/// - Only a single core must be active and running this function.
#[no_mangle]
pub unsafe fn init() -> ! {
extern "C" {
// Boundaries of the .bss section, provided by the linker script

Binary file not shown.

@ -12,7 +12,6 @@
/// # Safety
///
/// - Only a single core must be active and running this function.
#[no_mangle]
pub unsafe fn init() -> ! {
extern "C" {
// Boundaries of the .bss section, provided by the linker script

Loading…
Cancel
Save