diff options
author | Karl Berry <karl@freefriends.org> | 2019-12-15 17:51:39 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-12-15 17:51:39 +0000 |
commit | c41dd574ca6a4311aa6fec5bd50109657fbb644a (patch) | |
tree | 66ed25801a075eed7d1e34bc6cd81e1e41a7eeef /Build/source/texk/web2c/bibtex.ch | |
parent | 59646c435fea908e1789180549d1240a6b5349d0 (diff) |
with bibtex -terse, just log "A level-N auxiliary file" intead of print
git-svn-id: svn://tug.org/texlive/trunk@53135 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/bibtex.ch')
-rw-r--r-- | Build/source/texk/web2c/bibtex.ch | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/bibtex.ch b/Build/source/texk/web2c/bibtex.ch index 4b637d99d98..599b0ea312b 100644 --- a/Build/source/texk/web2c/bibtex.ch +++ b/Build/source/texk/web2c/bibtex.ch @@ -1024,7 +1024,7 @@ if (last_cite = max_cites) then end; @z -% [142] Don't pad with blanks, terminate with null. +% [141] Don't pad with blanks, terminate with null. % Don't use a path to search for subsidiary aux files, % but do check the directory of the main .aux file. % @@ -1049,6 +1049,14 @@ if (not kpse_in_name_ok(stringcast(name_of_file+1)) ) then @z +@x [still 141] Be silent unless verbose. +print ('A level-',aux_ptr:0,' auxiliary file: '); +print_aux_name; +@y +log_pr ('A level-',aux_ptr:0,' auxiliary file: '); +log_pr_aux_name; +@z + % [152] This goto gets turned into a setjmp/longjmp by ./convert -- % unfortunately, it is a nonlocal goto. ekrell@ulysses.att.com % implemented the conversion. |