diff options
author | Karl Berry <karl@freefriends.org> | 2007-03-23 19:01:22 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2007-03-23 19:01:22 +0000 |
commit | f0c9e514f6a42d6df94a4d458f2ee97f355f1822 (patch) | |
tree | 4b52438fe38a2f3332c2019115d9ac2bedf0e6dc /Build/source/texk/dvipsk/resident.c | |
parent | 67530ee162aa3756a2b324eed8774d6e5223b9f9 (diff) |
more pathname reporting, if DVIPS_DEBUG is set
git-svn-id: svn://tug.org/texlive/trunk@4079 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/dvipsk/resident.c')
-rw-r--r-- | Build/source/texk/dvipsk/resident.c | 24 |
1 files changed, 21 insertions, 3 deletions
diff --git a/Build/source/texk/dvipsk/resident.c b/Build/source/texk/dvipsk/resident.c index e6644932fcd..c117be9ac76 100644 --- a/Build/source/texk/dvipsk/resident.c +++ b/Build/source/texk/dvipsk/resident.c @@ -32,6 +32,8 @@ struct resfont *reshash[RESHASHPRIME] ; * These are the external variables we use. */ extern char *realnameoffile ; +extern int prettycolumn ; +extern int dvips_debug_flag ; #ifdef DEBUG extern integer debug_flag; #endif /* DEBUG */ @@ -441,6 +443,14 @@ getdefaults P1C(char *, s) #else if ((deffile=search(d,PSname,READ))!=NULL) { #endif + if (dvips_debug_flag && !quiet) { + if (strlen(realnameoffile) + prettycolumn > STDOUTSIZE) { + fprintf(stderr, "\n") ; + prettycolumn = 0 ; + } + (void)fprintf(stderr, "{%s}", realnameoffile); + prettycolumn += strlen(realnameoffile) + 2 ; + } #ifdef DEBUG if (dd (D_CONFIG)) { fprintf (stderr, "Reading dvips config file `%s':\n", realnameoffile); @@ -845,9 +855,9 @@ default: */ void getpsinfo P1C(char *, name) { - FILE *deffile ; - register char *p ; - char *specinfo, *downloadinfo ; + FILE *deffile ; + register char *p ; + char *specinfo, *downloadinfo ; char downbuf[500] ; char specbuf[500] ; int slen ; @@ -855,6 +865,14 @@ void getpsinfo P1C(char *, name) if (name == 0) name = psmapfile ; if ((deffile=search(mappath, name, READ))!=NULL) { + if (dvips_debug_flag && !quiet) { + if (strlen(realnameoffile) + prettycolumn > STDOUTSIZE) { + fprintf(stderr, "\n") ; + prettycolumn = 0 ; + } + (void)fprintf(stderr, "{%s}", realnameoffile); + prettycolumn += strlen(realnameoffile) + 2 ; + } while (fgets(was_inline, INLINE_SIZE, deffile)!=NULL) { p = was_inline ; if (*p > ' ' && *p != '*' && *p != '#' && *p != ';' && *p != '%') { |