Fix a mysterious issue affecting the docker Makefiles

This commit is contained in:
Zahary Karadjov 2019-03-25 02:25:48 +02:00
parent 61948725ef
commit 94da80dca4
3 changed files with 5 additions and 1 deletions

View File

@ -4,6 +4,8 @@ set -euv
cd $(dirname "$0")
export GIT_REVISION=$(git rev-parse HEAD)
buildAndPush() {
export NETWORK=$1
export NETWORK_BACKEND=$2

View File

@ -3,5 +3,7 @@
set -euv
cd $(dirname "$0")
export GIT_REVISION=$(git rev-parse HEAD)
(cd nimbus && make push)

@ -1 +1 @@
Subproject commit 196615af977ee313a17e0fde69262eaccf919cca
Subproject commit 5a5d034f1236db61acba630b4da590ac357a3a89