github-repos/make
1
0
Fork 0
mirror of https://github.com/mirror/make.git synced 2025-02-07 10:10:23 +08:00
Code Issues Packages Projects Releases Wiki Activity

Formerly file.c.~23~

Browse Source
This commit is contained in:
Roland McGrath 1993-05-22 20:24:37 +00:00
parent fe92d8e656
commit ff71fe9277
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
file.c
View File

@ -336,11 +336,12 @@ remove_intermediates (sig)
error ("*** Deleting file `%s'", f->name); error ("*** Deleting file `%s'", f->name);
else if (!silent_flag) else if (!silent_flag)
{ {
if (!doneany) if (! doneany)
{ {
fputs ("rm ", stdout); fputs ("rm ", stdout);
doneany = 1; doneany = 1;
} }
else
putchar (' '); putchar (' ');
fputs (f->name, stdout); fputs (f->name, stdout);
fflush (stdout); fflush (stdout);