mirror of
https://github.com/mongodb/mongo.git
synced 2024-12-01 09:32:32 +01:00
14 lines
370 B
Bash
Executable File
14 lines
370 B
Bash
Executable File
DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" > /dev/null 2>&1 && pwd)"
|
|
. "$DIR/prelude.sh"
|
|
|
|
cd src/build
|
|
|
|
set -o verbose
|
|
set -o errexit
|
|
|
|
# If this is a patch build, blow away the file so our subsequent and optional s3.put
|
|
# doesn't run. That way, we won't overwrite the latest part in our patches.
|
|
if [ "${is_patch}" = "true" ]; then
|
|
rm -f src/build/embedded-sdk.tgz
|
|
fi
|