diff --git a/configure b/configure index 180d03516..3a4a62a1e 100755 --- a/configure +++ b/configure @@ -15,7 +15,7 @@ function abort { >&2 echo -e "\033[1m\033[31m$1\033[0m"; exit 1; } function info { >&2 echo -e "\033[1m\033[33m$1\033[0m"; } function warn { >&2 echo -e "\033[1m\033[33m$1\033[0m"; } -if [ -d "`pwd`/.git" ]; then +if [ -e "`pwd`/.git" ]; then info "This build is within a git repository" export MASON_DIR="`pwd`/.mason" export PATH="${MASON_DIR}:${PATH}"