diff options
Diffstat (limited to 'evergreen/record_mongodb_server_version.sh')
| -rwxr-xr-x | evergreen/record_mongodb_server_version.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/evergreen/record_mongodb_server_version.sh b/evergreen/record_mongodb_server_version.sh deleted file mode 100755 index e7ad5785657..00000000000 --- a/evergreen/record_mongodb_server_version.sh +++ /dev/null @@ -1,9 +0,0 @@ -DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" > /dev/null 2>&1 && pwd)" -. "$DIR/prelude.sh" - -cd src - -set -o errexit -set -o verbose - -"$1" --version > "$2" |