Skip to content

Commit

Permalink
fix make build-gaia command (#1071)
Browse files Browse the repository at this point in the history
Co-authored-by: Dan Kanefsky <56059752+boojamya@users.noreply.github.com>
  • Loading branch information
MalteHerrmann and boojamya authored Jan 17, 2023
1 parent 0388485 commit 921407a
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 921407a

Please sign in to comment.