diff options
| author | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2018-09-13 18:01:56 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-13 18:01:56 +0300 |
| commit | 14b29a77acb2ea7ebc5c9d08ace1ac5e08013384 (patch) | |
| tree | aaff7f54a8dbb2e8141ce84daa65032f9e652136 | |
| parent | 49fd485bbf5b140e23b538c7c9355e33d7193b48 (diff) | |
Fix reference to lint-locale-dependence.sh
| -rw-r--r-- | doc/developer-notes.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/developer-notes.md b/doc/developer-notes.md index da8384c537..7c9106a6c1 100644 --- a/doc/developer-notes.md +++ b/doc/developer-notes.md @@ -512,7 +512,7 @@ Strings and formatting - *Rationale*: These functions do overflow checking, and avoid pesky locale issues. - Avoid using locale dependent functions if possible. You can use the provided - [`lint-locale-dependence.sh`](/contrib/devtools/lint-locale-dependence.sh) + [`lint-locale-dependence.sh`](/test/lint/lint-locale-dependence.sh) to check for accidental use of locale dependent functions. - *Rationale*: Unnecessary locale dependence can cause bugs that are very tricky to isolate and fix. |