mirror of
https://github.com/mongodb/mongo.git
synced 2024-12-01 09:32:32 +01:00
20 lines
366 B
Bash
Executable File
20 lines
366 B
Bash
Executable File
DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" > /dev/null 2>&1 && pwd)"
|
|
. "$DIR/../prelude.sh"
|
|
|
|
cd src
|
|
|
|
set -o errexit
|
|
set -o verbose
|
|
|
|
if [ "${disable_shared_scons_cache}" = true ]; then
|
|
exit
|
|
fi
|
|
if [ "${scons_cache_scope}" = "shared" ]; then
|
|
if [ "Windows_NT" = "$OS" ]; then
|
|
net use X: /delete || true
|
|
else
|
|
set_sudo
|
|
$sudo umount /efs || true
|
|
fi
|
|
fi
|