diff --git a/scripts/pgit.sh b/scripts/pgit.sh index aa2163ba..70f0ee7b 100644 --- a/scripts/pgit.sh +++ b/scripts/pgit.sh @@ -77,7 +77,7 @@ set_global_variables() projects_dir=`pwd` # If we're in a toplevel directory, suppose projects_dir == project_dirs, # i.e. we only want to target this Git repo - if [ ! -d .git ]; then + if [ ! -e .git ]; then while [ ! -r Makefile ] || ! grep -q 'include $(JWBDIR)/make/projects-dir\.mk\|some-random-string-to-id-this-makefile' Makefile; do [ "$projects_dir" = / ] && fatal "Failed to find projects directory" projects_dir=`dirname $projects_dir`