diff options
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/tidy/src/pal.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/tidy/src/pal.rs b/src/tools/tidy/src/pal.rs index 31cdc6865a4..24a10018779 100644 --- a/src/tools/tidy/src/pal.rs +++ b/src/tools/tidy/src/pal.rs @@ -122,6 +122,7 @@ fn check_cfgs( let contains_platform_specific_cfg = cfg.contains("target_os") || cfg.contains("target_env") + || cfg.contains("target_abi") || cfg.contains("target_vendor") || cfg.contains("unix") || cfg.contains("windows"); |