在同时指定了 -Ncheck 的情况下,允许 lint 报告头文件的某些消息。h 是一个以逗号分隔的列表,它包含以下项中的一项或多项:dir、no%dir、%all、%none、%user。
表 4–3 -errhdr 标志
值 |
含义 |
---|---|
dir |
报告目录 dir 中包含的头文件的 -Ncheck 消息。 |
no%dir |
不报告目录 dir 中包含的头文件的 -Ncheck 消息。 |
%all |
检查使用的所有头文件。 |
%none |
不检查头文件。这是缺省值。 |
%user |
检查所有已使用的用户头文件,即,除 /usr/include 及其子目录中的头文件以及由编译器提供的头文件之外的所有头文件。 |
缺省值为 -errhdr=%none。指定 -errhdr 与指定 -errhdr=%user 等效。
示例:
% lint -errhdr=inc1 -errhdr=../inc2 |
检查目录 inc1 和 ../inc2 中已使用的头文件。
% lint -errhdr=%all,no%../inc |
检查除目录 ../inc 中的头文件之外的所有已使用的头文件。