mirror of
https://github.com/facebook/rocksdb.git
synced 2026-07-07 14:47:40 +08:00
fa8f4f1ef0
Summary: Pull Request resolved: https://github.com/facebook/rocksdb/pull/14685 D100235293 and D102823090 migrated the generated RocksDB BUCK file from `//folly/experimental/coro:*` to `//folly/coro:*`, but did not update the buckifier script that generates it in internal_repo_rocksdb. The next release would revert the change. Update buckify_rocksdb.py to match, so the generated BUCK file stays consistent with the folly coro migration. Reviewed By: nmk70 Differential Revision: D103096688 fbshipit-source-id: 9055769ed5e9893397c7504ada22e21980f59dd2