diff --git a/paddle/scripts/docker/build.sh b/paddle/scripts/docker/build.sh index e0916788a3f79e4426a7a22496ae9a51a8bd88c0..ede9e210245df740f13ebb32c98313554f522dd9 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 <