style: rename duplicate_directive as duplicate_rule_directive

* src/complain.h, src/complain.c: here.
Adjust callers.
This commit is contained in:
Akim Demaille
2019-01-16 07:59:25 +01:00
parent 169fe80c7f
commit 2c8fb4d126
3 changed files with 13 additions and 14 deletions
+2 -2
View File
@@ -127,8 +127,8 @@ void deprecated_directive (location const *loc,
char const *obsolete, char const *updated);
/** Report a repeated directive for a rule. */
void duplicate_directive (char const *directive,
location first, location second);
void duplicate_rule_directive (char const *directive,
location first, location second);
/** Warnings treated as errors shouldn't stop the execution as regular
errors should (because due to their nature, it is safe to go