diff options
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 |