From 6ce17942487522aef3466135fbef0f2c0a50e7b6 Mon Sep 17 00:00:00 2001
From: Pavol Rusnak <stick@gk2.sk>
Date: Mon, 5 Nov 2018 21:41:03 +0100
Subject: [PATCH] docker: add PRODUCTION env variable to build script

---
 build-docker.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/build-docker.sh b/build-docker.sh
index c513beaad6..a2281ffb66 100755
--- a/build-docker.sh
+++ b/build-docker.sh
@@ -11,6 +11,7 @@ fi
 IMAGE=trezor-core-build.$TOOLCHAIN_FLAVOR
 TAG=${1:-master}
 REPOSITORY=${2:-trezor}
+PRODUCTION=${PRODUCTION:-0}
 
 if [ "$REPOSITORY" = "local" ]; then
 	REPOSITORY=file:///local/
@@ -28,4 +29,4 @@ docker run -t -v $(pwd):/local -v $(pwd)/build-docker:/build:z --user="$(stat -c
 	ln -s /build build &&
 	git checkout $TAG && \
 	git submodule update --init --recursive && \
-	make clean vendor build_boardloader build_bootloader build_prodtest build_firmware"
+	PRODUCTION=$PRODUCTION make clean vendor build_boardloader build_bootloader build_prodtest build_firmware"