diff options
Diffstat (limited to 'evergreen/functions/shared_scons_directory_umount.sh')
| -rwxr-xr-x | evergreen/functions/shared_scons_directory_umount.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/evergreen/functions/shared_scons_directory_umount.sh b/evergreen/functions/shared_scons_directory_umount.sh index 6d50da0fdae..06d0465161e 100755 --- a/evergreen/functions/shared_scons_directory_umount.sh +++ b/evergreen/functions/shared_scons_directory_umount.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 |