From c2272c6ecb7c3fd6e9bdeb10a237f7bba3edf1c7 Mon Sep 17 00:00:00 2001 From: Yu Yang Date: Sat, 5 Aug 2017 19:05:52 +0800 Subject: [PATCH] Only make install when it necessary in build.sh --- paddle/scripts/docker/build.sh | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) diff --git a/paddle/scripts/docker/build.sh b/paddle/scripts/docker/build.sh index 92e59a27ac1..e0916788a3f 100644 --- a/paddle/scripts/docker/build.sh +++ b/paddle/scripts/docker/build.sh @@ -57,13 +57,11 @@ cmake .. \ cat <