diff --git a/make/projects-dir.mk b/make/projects-dir.mk index e5417667..4eb664ea 100644 --- a/make/projects-dir.mk +++ b/make/projects-dir.mk @@ -15,6 +15,8 @@ -include local.mk +SHELL = /bin/bash -o pipefail + ifneq ($(PROJECTS),) export PGIT_CLONE_PROJECTS = $(PROJECTS) endif