diff options
Diffstat (limited to 'evergreen/functions/compile_expansions_generate.sh')
-rw-r--r-- | evergreen/functions/compile_expansions_generate.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/evergreen/functions/compile_expansions_generate.sh b/evergreen/functions/compile_expansions_generate.sh index f812173f397..dc9642f5cd4 100644 --- a/evergreen/functions/compile_expansions_generate.sh +++ b/evergreen/functions/compile_expansions_generate.sh @@ -1,4 +1,4 @@ -DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" >/dev/null 2>&1 && pwd)" +DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" > /dev/null 2>&1 && pwd)" . "$DIR/../prelude.sh" cd src @@ -31,7 +31,7 @@ if [ ! -z ${scons_cache_scope} ]; then if [ "Windows_NT" = "$OS" ]; then ./win_mount.sh else - mount | grep "\/efs" >/dev/null + mount | grep "\/efs" > /dev/null if [ $? -eq 0 ]; then echo "Shared cache is already mounted" else |