diff options
author | Matt Kraai <kraai@debian.org> | 2001-01-18 05:57:08 +0300 |
---|---|---|
committer | Matt Kraai <kraai@debian.org> | 2001-01-18 05:57:08 +0300 |
commit | 12f417edbd21b322a8eaa8feb0ab238f13fa83c6 (patch) | |
tree | 06f9de2e4c7d33d29a448fb1c42ed1beafe18e6e /shell | |
parent | c9acf8c766a9a2cc00449db5dea506d7663ad26b (diff) |
Eliminate calls of the form "fprintf(stdout,". Thanks for the idea to
Vladimir N. Oleynik.
Diffstat (limited to 'shell')
-rw-r--r-- | shell/cmdedit.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/shell/cmdedit.c b/shell/cmdedit.c index 0765ca3ce..722a36a50 100644 --- a/shell/cmdedit.c +++ b/shell/cmdedit.c @@ -147,7 +147,7 @@ static void cmdedit_reset_term(void) static void clean_up_and_die(int sig) { cmdedit_reset_term(); - fprintf(stdout, "\n"); + printf("\n"); if (sig!=SIGINT) exit(EXIT_SUCCESS); } |