+define clone_or_pull
+-@@if test ! -d $(strip ${1})/.git; then \
+ echo "Cloning $(strip ${1})..."; \
+ git clone $(strip ${verbose}) --depth=1 $(strip ${2}) $(strip ${1}); \
+ else \
+ echo "Pulling $(strip ${1})..."; \
+ git --git-dir=$(strip ${1})/.git pull $(strip ${verbose}) origin master; \
+ fi