diff options
Diffstat (limited to 'os')
| -rw-r--r-- | os/port/devcons.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/os/port/devcons.c b/os/port/devcons.c index 7460cffc..2f24a36f 100644 --- a/os/port/devcons.c +++ b/os/port/devcons.c @@ -304,6 +304,9 @@ _assert(char *fmt) panic("assert failed: %s", fmt); } +/* + * mainly for libmp + */ void sysfatal(char *fmt, ...) { @@ -313,7 +316,7 @@ sysfatal(char *fmt, ...) va_start(arg, fmt); vsnprint(buf, sizeof(buf), fmt, arg); va_end(arg); - panic("sysfatal: %s", buf); + error(buf); } int |