From 4f10ea5cda6826a0e03e45042aeadfc536b848df Mon Sep 17 00:00:00 2001 From: Pavol Rusnak Date: Tue, 30 Apr 2019 14:33:01 +0200 Subject: [PATCH] core: run build in pipenv --- core/build-docker.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/core/build-docker.sh b/core/build-docker.sh index d2e023aba..b0638a02a 100755 --- a/core/build-docker.sh +++ b/core/build-docker.sh @@ -34,4 +34,4 @@ docker run -t -v $(pwd):/local -v $(pwd)/build/core:/build:z --user="$USER:$GROU ln -s /build build && git checkout $TAG && \ git submodule update --init --recursive && \ - PRODUCTION=$PRODUCTION make clean vendor build_boardloader build_bootloader build_firmware" + PRODUCTION=$PRODUCTION pipenv run make clean vendor build_boardloader build_bootloader build_firmware"