diff options
| author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-07-30 17:52:06 +0300 |
|---|---|---|
| committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-07-30 17:52:06 +0300 |
| commit | 58d9d85a564bbae5fa7eaa1f0baa62be56024366 (patch) | |
| tree | 8db044343d35260d00d17f01e93b4d1a31e5b1d1 /lib | |
| parent | ba2c5035410c74dc7b24fcb72eff708acf4b8349 (diff) | |
| download | micropython-58d9d85a564bbae5fa7eaa1f0baa62be56024366.tar.gz micropython-58d9d85a564bbae5fa7eaa1f0baa62be56024366.zip | |
lib/abort_.c: Add prototype to make coverage build happy.
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/embed/abort_.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/embed/abort_.c b/lib/embed/abort_.c index b54d08f2c9..a6df8143c3 100644 --- a/lib/embed/abort_.c +++ b/lib/embed/abort_.c @@ -1,5 +1,7 @@ #include <py/runtime.h> -void abort_(void) { +NORETURN void abort_(void); + +NORETURN void abort_(void) { nlr_raise(mp_obj_new_exception_msg(&mp_type_RuntimeError, "abort() called")); } |