diff options
Diffstat (limited to 'newlib/doc/makedoc.c')
-rw-r--r-- | newlib/doc/makedoc.c | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/newlib/doc/makedoc.c b/newlib/doc/makedoc.c index 45ddfb81e..3f4ff4c06 100644 --- a/newlib/doc/makedoc.c +++ b/newlib/doc/makedoc.c @@ -1019,6 +1019,17 @@ WORD(maybecatstr) } +/* write tos to stderr */ +WORD(warn) +{ + fputs("Warning: ", stderr); + fwrite(tos->ptr, tos->write_idx, 1, stderr); + fputc('\n', stderr); + delete_string(tos); + tos--; + pc++; +} + char * DEFUN(nextword,(string, word), char *string AND @@ -1390,7 +1401,8 @@ char *av[]) add_intrinsic("kill_bogus_lines", kill_bogus_lines); add_intrinsic("indent", indent); add_intrinsic("internalmode", internalmode); - + add_intrinsic("warn", warn); + /* Put a nl at the start */ catchar(&buffer,'\n'); |