bootloader: Mark jump_to_application() as noreturn.

[gps-watch.git] / src / common / startup.c

diff --git a/src/common/startup.c b/src/common/startup.c
index 0a5507ac9a0524264d062447b3d9047693fc2501..256863ff213709d42ed8526f87fb2b796e2d2d8b 100644 (file)
--- a/src/common/startup.c
+++ b/src/common/startup.c
@@ -151,6 +151,7 @@ Dummy_Handler (void)
        }
 }
 
+__attribute__ ((noreturn))
 void
 jump_to_application (volatile uint32_t *address)
 {