diff options
Diffstat (limited to 'Help/prop_tgt/VERIFY_INTERFACE_HEADER_SETS.rst')
| -rw-r--r-- | Help/prop_tgt/VERIFY_INTERFACE_HEADER_SETS.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Help/prop_tgt/VERIFY_INTERFACE_HEADER_SETS.rst b/Help/prop_tgt/VERIFY_INTERFACE_HEADER_SETS.rst index dd415c8..bdd7792 100644 --- a/Help/prop_tgt/VERIFY_INTERFACE_HEADER_SETS.rst +++ b/Help/prop_tgt/VERIFY_INTERFACE_HEADER_SETS.rst @@ -26,6 +26,9 @@ Otherwise, if C++ is enabled globally, the header is compiled as C++. Otherwise, if C is enabled globally, the header is compiled as C. Otherwise, the header file is not compiled. +If the header's :prop_sf:`SKIP_LINTING` property is set to true, the file is +not compiled. + If any verification targets are created, a top-level target called ``all_verify_interface_header_sets`` is created which depends on all verification targets. |