/* Copyright (C) 1994 DJ Delorie, see COPYING.DJ for details */
#include <stdio.h>

void setlinebuf(FILE *f)
{
  setvbuf(f, 0, _IOLBF, BUFSIZ);
}