diff options
| author | Henrik Edin <henrik.edin@mongodb.com> | 2019-10-09 13:19:40 +0000 |
|---|---|---|
| committer | evergreen <evergreen@mongodb.com> | 2019-10-09 13:19:40 +0000 |
| commit | 5d9ecdd0bc278138b459ae478addd6fa214ef0f1 (patch) | |
| tree | e7b771f8e072b912dd260bf6afd9d813d00784be /src/third_party/scripts | |
| parent | 9471cc8ad18cc5f1da025c291e03adfde434ab8d (diff) | |
| download | mongo-5d9ecdd0bc278138b459ae478addd6fa214ef0f1.tar.gz | |
SERVER-43710 Upgrade Zstandard to version 1.4.3
Diffstat (limited to 'src/third_party/scripts')
| -rw-r--r-- | src/third_party/scripts/zstandard_get_sources.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/third_party/scripts/zstandard_get_sources.sh b/src/third_party/scripts/zstandard_get_sources.sh index 8eb6ccd1bcd..67b499085f1 100644 --- a/src/third_party/scripts/zstandard_get_sources.sh +++ b/src/third_party/scripts/zstandard_get_sources.sh @@ -18,7 +18,7 @@ if grep -q Microsoft /proc/version; then fi NAME=zstandard -REVISION=v1.3.7 +REVISION=1.4.3 if grep -q Microsoft /proc/version; then SRC_ROOT=$(wslpath -u $(powershell.exe -Command "Get-ChildItem Env:TEMP | Get-Content | Write-Host")) SRC_ROOT+="$(mktemp -u /zstandard.XXXXXX)" @@ -32,8 +32,8 @@ CLONE_DEST=$SRC if grep -q Microsoft /proc/version; then CLONE_DEST=$(wslpath -m $SRC) fi -DEST_DIR=$($GIT_EXE rev-parse --show-toplevel)/src/third_party/$NAME-1.3.7 -PATCH_DIR=$($GIT_EXE rev-parse --show-toplevel)/src/third_party/$NAME-1.3.7/patches +DEST_DIR=$($GIT_EXE rev-parse --show-toplevel)/src/third_party/$NAME-$REVISION +PATCH_DIR=$($GIT_EXE rev-parse --show-toplevel)/src/third_party/$NAME-$REVISION/patches if grep -q Microsoft /proc/version; then DEST_DIR=$(wslpath -u "$DEST_DIR") PATCH_DIR=$(wslpath -w $(wslpath -u "$PATCH_DIR")) @@ -46,7 +46,7 @@ if [ ! -d $SRC ]; then $GIT_EXE clone https://github.com/facebook/zstd.git $CLONE_DEST pushd $SRC - $GIT_EXE checkout $REVISION + $GIT_EXE checkout v$REVISION popd fi |