diff options
author | Karl Berry <karl@freefriends.org> | 2010-05-28 17:27:56 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2010-05-28 17:27:56 +0000 |
commit | 4c549328c10ed052b6aa5f29434c661e2534b82f (patch) | |
tree | 39c60ffb698519595f6f5c8202c248b2df9b5dbc /Master | |
parent | bd6f77dd3559e73f8517fb6789e50a554bc6fec7 (diff) |
be more emphatic about the need to fix
git-svn-id: svn://tug.org/texlive/trunk@18564 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-tlpdb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/tlpkg/bin/tl-update-tlpdb b/Master/tlpkg/bin/tl-update-tlpdb index dc0b5c4e444..901f12ac575 100755 --- a/Master/tlpkg/bin/tl-update-tlpdb +++ b/Master/tlpkg/bin/tl-update-tlpdb @@ -119,10 +119,10 @@ sub main # $opt_fix_reverse_revisions $opt_fix_reverse_revisions = 0; if (compare_and_fix_tlpdbs($oldtlpdb, $newtlpdb)) { - tlwarn ("$progname: oops, should not happen!" + tlwarn ("$progname: *** oops, should not happen!\n" . " After one iteration of compare_tlpdbs\n" - . " the new tlpdb is still going backwards in time.\n" - . " Check output above and fix!\n"); + . " the new tlpdb is still going backwards in time;\n" + . " check output above and fix!\n"); # $buggy_tlpdb is already set to 1 } else { # fixing succeeded |