5883a1ae24
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 |
||
---|---|---|
.. | ||
amalgamate.py | ||
build_detect_platform | ||
cont_integration.sh | ||
dependencies_4.8.1.sh | ||
dependencies.sh | ||
dockerbuild.sh | ||
error_filter.py | ||
fb_compile_mongo.sh | ||
fbcode_config4.8.1.sh | ||
fbcode_config.sh | ||
format-diff.sh | ||
gnu_parallel | ||
make_package.sh | ||
precommit_checker.py | ||
regression_build_test.sh | ||
rocksdb-lego-determinator | ||
RocksDBCommonHelper.php | ||
run_ci_db_test.ps1 | ||
update_dependencies.sh | ||
version.sh |