diff options
| author | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2023-05-31 15:43:01 +0100 |
|---|---|---|
| committer | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2023-05-31 15:43:01 +0100 |
| commit | 2484cacb7a6367b24e924dba0825c843b1dfc1c3 (patch) | |
| tree | 4135622651dbeb27606591c6eb5a70b66c69be48 /test/lint | |
| parent | fade2adb5bb4ce9753e7f25da5fb1521f2f503ec (diff) | |
Add public Boost headers explicitly
Diffstat (limited to 'test/lint')
| -rwxr-xr-x | test/lint/lint-includes.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/test/lint/lint-includes.py b/test/lint/lint-includes.py index 459030bb0b..b14caa4855 100755 --- a/test/lint/lint-includes.py +++ b/test/lint/lint-includes.py @@ -23,15 +23,20 @@ EXCLUDED_DIRS = ["src/leveldb/", EXPECTED_BOOST_INCLUDES = ["boost/date_time/posix_time/posix_time.hpp", "boost/multi_index/hashed_index.hpp", + "boost/multi_index/identity.hpp", + "boost/multi_index/indexed_by.hpp", "boost/multi_index/ordered_index.hpp", "boost/multi_index/sequenced_index.hpp", + "boost/multi_index/tag.hpp", "boost/multi_index_container.hpp", "boost/process.hpp", "boost/signals2/connection.hpp", "boost/signals2/optional_last_value.hpp", "boost/signals2/signal.hpp", "boost/test/included/unit_test.hpp", - "boost/test/unit_test.hpp"] + "boost/test/unit_test.hpp", + "boost/tuple/tuple.hpp", + ] def get_toplevel(): |