/*
 *  ECHO.C
 *
 *  (c)Copyright 1991 by Tobias Ferber,  All Rights Reserved.
 */

#include <stdlib.h>
#include <stdarg.h>
#include <stdio.h>

extern FILE *ferr;
extern char *whoami;

void echo(const char *fmt, ...)
{
  va_list argp;
  va_start(argp,fmt);
  fprintf(ferr,"%s: ",whoami);
  vfprintf(ferr,(char *)fmt,argp);
  fprintf(ferr,"\n");
  fflush(ferr);
  va_end(argp);
}