home *** CD-ROM | disk | FTP | other *** search
- /* -*-C-*- alldone.h */
- /*-->alldone*/
- /**********************************************************************/
- /****************************** alldone ******************************/
- /**********************************************************************/
-
- void
- alldone()
-
- {
- register int t;
-
- if ((g_errenc != 0) && g_dolog && (g_logfp != (FILE *)NULL))
- { /* errors occurred - copy log file to stderr */
- (void)fflush(g_logfp); /* make sure file is up-to-date */
- (void)REWIND(g_logfp); /* rewind it */
- while ((t=(int)getc(g_logfp)) != EOF) /* copy to stderr */
- (void)putc((char)t,stderr);
- (void)fclose(g_logfp); /* close it */
- g_logfp = (FILE *)NULL;
- }
- abortrun(g_errenc);
- }
-