diff --git a/sys/ddb/db_command.c b/sys/ddb/db_command.c index dfcc9c35af61..b97c05a769f6 100644 --- a/sys/ddb/db_command.c +++ b/sys/ddb/db_command.c @@ -472,7 +472,7 @@ db_error(s) char *s; { if (s) - db_printf(s); + db_printf("%s", s); db_flush_lex(); longjmp(db_jmpbuf, 1); }