summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/tlpkg/bin/tl-update-tlpdb6
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