diff options
| author | Miles Bader <miles@gnu.org> | 1997-07-03 17:09:55 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1997-07-03 17:09:55 +0000 |
| commit | 9c1cdbc0c3b55059a07fe015f60e076d315a45a1 (patch) | |
| tree | 87ab2e62ff6ddc693cc2935705c86111d1d0c84f /exec | |
| parent | 9cb9fa49f083df89db933b85695e902be6d26cf1 (diff) | |
(main):
Flush stdout after printing prefix/separator.
Diffstat (limited to 'exec')
0 files changed, 0 insertions, 0 deletions