/* ---------------------------------------------------------------------- */
/*                   Copyright (C) 1991 by Natrlich!                     */
/*                      This file is copyrighted!                         */
/*                Refer to the documentation for details.                 */
/* ---------------------------------------------------------------------- */
#include <stdio.h>
#include "defines.h"
#include OSBIND

void h_print()
{
   extern char *currfile;

   if( currfile)
   {
      fputs( currfile, ESTREAM);
      putc(':', ESTREAM);
      putc(' ', ESTREAM);
   }
}

void finalshit()
#if LIBRARIAN
{
   extern int  emptyfile;
   extern char outfile[];

   if( emptyfile)
      Fdelete( outfile);
}
#else
{}
#endif