]> git-server-git.apps.pok.os.sepia.ceph.com Git - rocksdb.git/commit
projects / rocksdb.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fac7a23) | patch
Fix bad include (#10213)
authorPeter Dillinger <peterd@fb.com>
Tue, 21 Jun 2022 00:42:01 +0000 (17:42 -0700)
committerPeter Dillinger <peterd@fb.com>
Tue, 21 Jun 2022 00:54:08 +0000 (17:54 -0700)
commitc26abd4c251eebe0c6b594fe0f1d7513e165dca2
tree67d161fa6389bbafde0b2431a35f9ebec1fb4e49tree | snapshot
parentfac7a236856207b531342bc22e614aa5bb005a6acommit | diff
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 diff | blob | history
db/blob/blob_source.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.