From ad36edc1dcaac534adb67c336a4d937cc6e75ae9 Mon Sep 17 00:00:00 2001 From: MalteHerrmann Date: Fri, 13 Jan 2023 15:43:53 +0100 Subject: [PATCH] fix make build-gaia command --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 71893f89c..53444ee6d 100644 --- a/Makefile +++ b/Makefile @@ -106,8 +106,8 @@ get-gaia: build-gaia: @[ -d $(GAIA_REPO) ] || { echo "Repositry for gaia does not exist at $(GAIA_REPO). Try running 'make get-gaia'..." ; exit 1; } - @cd $(GAIA_REPO) - @make install &> /dev/null + @cd $(GAIA_REPO) && \ + make install &> /dev/null @gaiad version --long .PHONY: two-chains test test-integration ibctest install build lint coverage clean