diff --git a/bin/pull-all.sh b/bin/pull-all.sh index 13e877f8a..fbd460b8a 100755 --- a/bin/pull-all.sh +++ b/bin/pull-all.sh @@ -4,7 +4,7 @@ # Check if cwd/tools/bin/pull-all exists, use that if it does # this way, a random download of pull-all is always correct -if [ -x "tools/bin/pull-all.sh" ] && ! [ "$0" -ef "tools/bin/pull-all.sh" ]; then +if [ `basename $0` == "pull-all.sh" ] && [ -x "tools/bin/pull-all.sh" ] && ! [ "$0" -ef "tools/bin/pull-all.sh" ]; then echo "exec'ing more up-to-date copy" exec tools/bin/pull-all.sh "$@" fi