diff options
Diffstat (limited to 'os/ports')
| -rw-r--r-- | os/ports/RVCT/ARMCMx/chcore.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/os/ports/RVCT/ARMCMx/chcore.c b/os/ports/RVCT/ARMCMx/chcore.c index 56ddcb6bc..627b4c812 100644 --- a/os/ports/RVCT/ARMCMx/chcore.c +++ b/os/ports/RVCT/ARMCMx/chcore.c @@ -33,7 +33,7 @@ * to redefine it in your application code.
*/
#if !defined(__DOXYGEN__)
-__weak
+__attribute__((weak))
#endif
void port_halt(void) {
|