Revision bd7d13835ea461f024fc036e519afd13e63f9e32 authored by Aaron Gao on 01 April 2017, 01:40:45 UTC, committed by Facebook Github Bot on 01 April 2017, 01:54:11 UTC
Summary: avoid exit when $? != 0 Closes https://github.com/facebook/rocksdb/pull/2076 Differential Revision: D4815655 Pulled By: lightmark fbshipit-source-id: 829299e
1 parent c81a805
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...