diff options
Diffstat (limited to 'src/print.c')
| -rw-r--r-- | src/print.c | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/src/print.c b/src/print.c index 5531210e1b8..25f0afbf972 100644 --- a/src/print.c +++ b/src/print.c | |||
| @@ -769,6 +769,22 @@ to make it write to the debugging output. */) | |||
| 769 | return character; | 769 | return character; |
| 770 | } | 770 | } |
| 771 | 771 | ||
| 772 | DEFUN ("external-standard-output", Fexternal_standard_output, Sexternal_standard_output, 1, 1, 0, | ||
| 773 | doc: /* Output character CHARACTER to system standard output. */) | ||
| 774 | (Lisp_Object character) | ||
| 775 | { | ||
| 776 | CHECK_NUMBER (character); | ||
| 777 | printchar_to_stream (XINT(character), stdout); | ||
| 778 | return character; | ||
| 779 | } | ||
| 780 | |||
| 781 | DEFUN ("external-standard-error", Fexternal_standard_error, Sexternal_standard_error, 1, 1, 0, | ||
| 782 | doc: /* Output character CHARACTER to system standard error. */) | ||
| 783 | (Lisp_Object character) | ||
| 784 | { | ||
| 785 | return Fexternal_debugging_output (character); | ||
| 786 | } | ||
| 787 | |||
| 772 | /* This function is never called. Its purpose is to prevent | 788 | /* This function is never called. Its purpose is to prevent |
| 773 | print_output_debug_flag from being optimized away. */ | 789 | print_output_debug_flag from being optimized away. */ |
| 774 | 790 | ||
| @@ -2307,7 +2323,10 @@ priorities. */); | |||
| 2307 | defsubr (&Sprinc); | 2323 | defsubr (&Sprinc); |
| 2308 | defsubr (&Sprint); | 2324 | defsubr (&Sprint); |
| 2309 | defsubr (&Sterpri); | 2325 | defsubr (&Sterpri); |
| 2326 | defsubr (&Sexternal_standard_output); | ||
| 2327 | defsubr (&Sexternal_standard_error); | ||
| 2310 | defsubr (&Swrite_char); | 2328 | defsubr (&Swrite_char); |
| 2329 | |||
| 2311 | defsubr (&Sredirect_debugging_output); | 2330 | defsubr (&Sredirect_debugging_output); |
| 2312 | 2331 | ||
| 2313 | DEFSYM (Qprint_escape_newlines, "print-escape-newlines"); | 2332 | DEFSYM (Qprint_escape_newlines, "print-escape-newlines"); |