core: run build in pipenv

5 years ago · 4f10ea5cda
parent 100b1fed4e
commit 4f10ea5cda
1 changed files with 1 additions and 1 deletions
--- 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"