/*
 * lib/fflush.c
 *
 * This file is subject to the terms and conditions of the GNU General Public
 * License.  See the file "COPYING" in the main directory of this archive
 * for more details.
 *
 * Copyright (C) 1995 by Waldorf GMBH
 * written by Ralf Baechle
 */
#include <stand/stdio.h>

int fflush(FILE *stream)
{
	/*
	 * Do nothing - it seems as if the ARC BIOSes don't have
	 * a buffering capability.
	 */
}
