diff options
author | Philip Chimento <philip.chimento@gmail.com> | 2020-12-10 15:32:56 -0800 |
---|---|---|
committer | Philip Chimento <philip.chimento@gmail.com> | 2020-12-30 16:26:20 -0800 |
commit | ea4ecac693d50b5c8c133a990f36ad2786284b6b (patch) | |
tree | f77616c6cb66b1e3cae6d6137f5966d2e1573c82 /tools | |
parent | 4816b29cb7447bd3aa8119657cbe541b21f86976 (diff) | |
download | gjs-ea4ecac693d50b5c8c133a990f36ad2786284b6b.tar.gz |
CI: Fix stdint.h IWYU workaround
This handles the case where IWYU wants to add <cstdint> but <stdint.h> is
already included.
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/process_iwyu.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/process_iwyu.py b/tools/process_iwyu.py index df8d1559..7d4ac181 100755 --- a/tools/process_iwyu.py +++ b/tools/process_iwyu.py @@ -119,7 +119,7 @@ def output(): why = add.pop(CSTDINT, None) if STDINTH in remove: remove.pop(STDINTH, None) - else: + elif STDINTH not in all_includes: add[STDINTH] = why if add_fwd_header: |