diff options
Diffstat (limited to 'os/ports/GCC')
| -rw-r--r-- | os/ports/GCC/ARM7/port.dox | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/os/ports/GCC/ARM7/port.dox b/os/ports/GCC/ARM7/port.dox index f65f984fb..431177caf 100644 --- a/os/ports/GCC/ARM7/port.dox +++ b/os/ports/GCC/ARM7/port.dox @@ -121,7 +121,7 @@ * the unsaved registers, this can be accomplished using GCC by adding
* the attribute "noinline" to the function:
* @code
- * #if defined(__GNU__)
+ * #if defined(__GNUC__)
* __attribute__((noinline))
* #endif
* static void serve_interrupt(void) {
|