diff options
Diffstat (limited to 'test/lint')
-rwxr-xr-x | test/lint/lint-includes.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/test/lint/lint-includes.sh b/test/lint/lint-includes.sh index 262e9d4c79..6623f9ce4c 100755 --- a/test/lint/lint-includes.sh +++ b/test/lint/lint-includes.sh @@ -67,9 +67,8 @@ EXPECTED_BOOST_INCLUDES=( boost/signals2/optional_last_value.hpp boost/signals2/signal.hpp boost/test/unit_test.hpp - boost/thread/condition_variable.hpp + boost/thread/lock_types.hpp boost/thread/shared_mutex.hpp - boost/thread/thread.hpp ) for BOOST_INCLUDE in $(git grep '^#include <boost/' -- "*.cpp" "*.h" | cut -f2 -d: | cut -f2 -d'<' | cut -f1 -d'>' | sort -u); do |