Manuel points out that if printf needs a flush to act like dprintf, the result
authorRob Landley <rob@landley.net>
Sat, 7 May 2005 17:45:38 +0000 (17:45 -0000)
committerRob Landley <rob@landley.net>
Sat, 7 May 2005 17:45:38 +0000 (17:45 -0000)
is bigger.  Revert last patch.

coreutils/tail.c

index ef00383853831a7f183a5ba506ae73d1b4e05bc7..e3f89d2eea5424c1661e02a6fb9ac54c337d3d59 100644 (file)
@@ -62,8 +62,7 @@ static int status
 static void tail_xprint_header(const char *fmt, const char *filename)
 {
        /* If we get an output error, there is really no sense in continuing. */
-       if (printf(fmt, filename) < 0 ||
-                       fflush(stdout) < 0) {
+       if (dprintf(STDOUT_FILENO, fmt, filename) < 0) {
                bb_perror_nomsg_and_die();
        }
 }