diff options
author | Alan Somers <asomers@gmail.com> | 2017-08-03 15:43:05 -0700 |
---|---|---|
committer | Facebook Github Bot <facebook-github-bot@users.noreply.github.com> | 2017-08-03 15:56:46 -0700 |
commit | 5883a1ae24b790e52bf86011f33924e78250564d (patch) | |
tree | 4b84abccb321692a69e3c16cbe5ee47045b8087b /tools/regression_test.sh | |
parent | cc01985db09b3f8ebb2ba971aa505abd77fa6345 (diff) |
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
Diffstat (limited to 'tools/regression_test.sh')
-rwxr-xr-x | tools/regression_test.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/regression_test.sh b/tools/regression_test.sh index 7801da14f..58558bbe4 100755 --- a/tools/regression_test.sh +++ b/tools/regression_test.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # The RocksDB regression test script. # REQUIREMENT: must be able to run make db_bench in the current directory # |