From 501543573aab8295ac1e94e57e704de815738b8c Mon Sep 17 00:00:00 2001 From: Peter Dillinger Date: Mon, 20 Jun 2022 17:42:01 -0700 Subject: [PATCH] Fix bad include (#10213) Summary: include "include/rocksdb/blah.h" is messing up some internal builds vs. include "rocksdb/blah." This fixes the bad case and adds a check for future instances. Pull Request resolved: https://github.com/facebook/rocksdb/pull/10213 Test Plan: back-port to 7.4 release candidate and watch internal build Reviewed By: hx235 Differential Revision: D37296202 Pulled By: pdillinger fbshipit-source-id: d7cc6b2c57d858dff0444f19320d83c8b4f9b185 --- build_tools/check-sources.sh | 8 +++++++- db/blob/blob_source.h | 2 +- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/build_tools/check-sources.sh b/build_tools/check-sources.sh index fdd40a182..5672f7b2b 100755 --- a/build_tools/check-sources.sh +++ b/build_tools/check-sources.sh @@ -17,12 +17,18 @@ if [ "$?" != "1" ]; then BAD=1 fi -git grep -n '