You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 

311 B

Example

# Upgrade barak.
# We need to give it a new seed to prevent port conflicts.
./build/debora run --input "`cat cmd/barak/seed2`" -- barak2 ./build/barak

# Build tendermint from source
./build/debora run -- build_tendermint bash -c "cd $GOPATH/src/github.com/tendermint/tendermint; make"