From: Peter Dillinger Date: Tue, 21 Jun 2022 00:42:01 +0000 (-0700) Subject: Fix bad include (#10213) X-Git-Tag: v7.4.3~8 X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=c26abd4c251eebe0c6b594fe0f1d7513e165dca2;p=rocksdb.git 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 --- 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 '