diff options
Diffstat (limited to 'dviware/beebe/src/alldone.h')
-rw-r--r-- | dviware/beebe/src/alldone.h | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/dviware/beebe/src/alldone.h b/dviware/beebe/src/alldone.h new file mode 100644 index 0000000000..4fc694cf36 --- /dev/null +++ b/dviware/beebe/src/alldone.h @@ -0,0 +1,23 @@ +/* -*-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); +} |