change the [Processing] messages into dots (#14418)

* change the [Processing] messages into dots

* better implementation

* maybe I should work on something else...
This commit is contained in:
Andreas Rumpf 2020-05-21 22:36:34 +02:00 • committed by GitHub
commit ddee8a362a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
5 changed files with 38 additions and 10 deletions

View file

@ -112,7 +112,7 @@ const
warnUser: "$1",
hintSuccess: "operation successful: $#",
# keep in sync with `testament.isSuccess`
hintSuccessX: "$loc LOC; $sec sec; $mem; $build build; proj: $project; out: $output",
hintSuccessX: "${loc} lines; ${sec}s; $mem; $build build; proj: $project; out: $output",
hintCC: "CC: $1",
hintLineTooLong: "line too long",
hintXDeclaredButNotUsed: "'$1' is declared but not used",