From 89bc429312377e1f69fbbd284c3acd0f1f9a00dc Mon Sep 17 00:00:00 2001 From: Yi Wang Date: Sat, 5 Aug 2017 14:20:59 -0700 Subject: [PATCH] Add environment variable WITH_DEB to control if buill.sh should generate .deb file --- paddle/scripts/docker/build.sh | 23 +++++++++++++---------- 1 file changed, 13 insertions(+), 10 deletions(-) diff --git a/paddle/scripts/docker/build.sh b/paddle/scripts/docker/build.sh index e0916788a3f..ede9e210245 100644 --- a/paddle/scripts/docker/build.sh +++ b/paddle/scripts/docker/build.sh @@ -81,7 +81,7 @@ fi # PaddlePaddle. This awkwardness is due to # https://github.com/PaddlePaddle/Paddle/issues/1854. It also # describes a solution. -if [[ ${WITH_DOC} == "ON" ]]; then +if [[ ${WITH_DOC:-OFF} == "ON" ]]; then cat <