Alexey Serbin has submitted this change and it was merged. ( 
http://gerrit.cloudera.org:8080/19316 )

Change subject: [thirdparty] skip building trace tools for RocksDB
......................................................................

[thirdparty] skip building trace tools for RocksDB

This patch updates the list of components to build for RocksDB.  In
particular, trace tools are no longer built.  It also fixes a misprint
in specifying whether to build dynamic library.

This is a follow-up to fab4c6fd30dc4bdfb52e854584e9433ef6c1f363.

Change-Id: Idcc23ffe188d8bcc10e10cb3ca344f4f4bba8b9e
Reviewed-on: http://gerrit.cloudera.org:8080/19316
Reviewed-by: Yingchun Lai <[email protected]>
Tested-by: Kudu Jenkins
---
M thirdparty/build-definitions.sh
1 file changed, 4 insertions(+), 2 deletions(-)

Approvals:
  Yingchun Lai: Looks good to me, approved
  Kudu Jenkins: Verified

--
To view, visit http://gerrit.cloudera.org:8080/19316
To unsubscribe, visit http://gerrit.cloudera.org:8080/settings

Gerrit-Project: kudu
Gerrit-Branch: master
Gerrit-MessageType: merged
Gerrit-Change-Id: Idcc23ffe188d8bcc10e10cb3ca344f4f4bba8b9e
Gerrit-Change-Number: 19316
Gerrit-PatchSet: 2
Gerrit-Owner: Alexey Serbin <[email protected]>
Gerrit-Reviewer: Alexey Serbin <[email protected]>
Gerrit-Reviewer: Kudu Jenkins (120)
Gerrit-Reviewer: Yifan Zhang <[email protected]>
Gerrit-Reviewer: Yingchun Lai <[email protected]>

Reply via email to