diff options
author | Dimitris Papastamos <dimitris.papastamos@arm.com> | 2018-08-22 14:40:50 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-22 14:40:50 +0100 |
commit | 6d4f6aea2cd96a4a57ffa2d88b9230e2cab88f28 (patch) | |
tree | 251ed2d6ebe98576eaa9e1871f3aef753552125b /lib/libc/abort.c | |
parent | 11dfe0b49ac8fcb5d1b516a3f52b06bc433ff4d9 (diff) | |
parent | 8422a8406b7d2d8e01c113e24eca167854981dfe (diff) |
Merge pull request #1528 from antonio-nino-diaz-arm/an/libc
libc: Cleanup library
Diffstat (limited to 'lib/libc/abort.c')
-rw-r--r-- | lib/libc/abort.c | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/lib/libc/abort.c b/lib/libc/abort.c index 65ce4cca..c9d16ccc 100644 --- a/lib/libc/abort.c +++ b/lib/libc/abort.c @@ -7,10 +7,7 @@ #include <debug.h> #include <stdlib.h> -/* - * This is a basic implementation. This could be improved. - */ -void abort (void) +void abort(void) { ERROR("ABORT\n"); panic(); |