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
History
File Mode Size
coverage_test.sh -rwxr-xr-x 2.2 KB
parse_gcov_output.py -rw-r--r-- 4.1 KB

back to top