Alan Somers 5883a1ae24 Fix /bin/bash shebangs ... Summary: "/bin/bash" is a Linuxism. "/usr/bin/env bash" is portable. Closes https://github.com/facebook/rocksdb/pull/2646 Differential Revision: D5556259 Pulled By: ajkr fbshipit-source-id: cbffd38ecdbfffb2438969ec007ab345ed893ccb		2017-08-03 15:56:46 -07:00
..
coverage_test.sh	Fix /bin/bash shebangs	2017-08-03 15:56:46 -07:00
parse_gcov_output.py	Add automatic coverage report scripts	2013-08-12 23:53:37 -07:00