message, semantic, token deprecation for warnings

This commit is contained in:
Basile Burg 2017-01-18 20:39:46 +01:00
parent b9e63b2a73
commit 33b99b1247
No known key found for this signature in database
GPG Key ID: 1868039F415CB8CF
1 changed files with 2 additions and 1 deletions

View File

@ -952,7 +952,8 @@ begin
'exception', 'Exception', 'illegal', 'Illegal',
'fatal', 'Fatal', 'Critical', 'critical', 'errorlevel':
exit(amkErr);
'Warning', 'warning', 'caution', 'Caution', 'warn', 'Warn':
'Warning', 'warning', 'caution', 'Caution', 'warn', 'Warn',
'Deprecation', 'deprecation', 'Deprecated', 'deprecated':
exit(amkWarn);
'Hint', 'hint', 'Tip', 'tip', 'advice', 'Advice',
'suggestion', 'Suggestion':