rename log id script to match its final purpose (#8578)

2019-03-26 12:56:21 +01:00 · 2019-03-26 12:56:21 +01:00 · 88dce3e51e
parent 778417cdf0
commit 88dce3e51e
2 changed files with 1 additions and 1 deletions
--- a/README_maintainers.md
+++ b/README_maintainers.md
@ -22,7 +22,7 @@ errors.

    LOG_TOPIC("2dead", ....)

-To ensure that the ids are unique we run the script `./utils/generateLogIds.py`
+To ensure that the ids are unique we run the script `./utils/checkLogIds.py`
 during CI runs. The script will fail with a non-zero status if id collisions
 are found. You can use `openssl rand -hex 3 | sed 's/.//;s/\(.*\)/"\1"/'` or
 anything that suits you to generate a **5 hex digit log** id.
--- a/utils/generateLogIds.py
+++ b/utils/generateLogIds.py