From 04c3893a8cc2218df67832baf6ce5e10c0346dc3 Mon Sep 17 00:00:00 2001
From: superjomn <yanchunwei@outlook.com>
Date: Wed, 12 Jun 2019 09:06:23 +0000
Subject: [PATCH] up

---
 .gitlab-ci.yml                   | 2 +-
 paddle/fluid/lite/tools/build.sh | 9 +++++++++
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7907ce13c27..7f3734c2c92 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -10,7 +10,7 @@ stages:
 check:prebuilt:
   stage: ci
   script:
-    - git log -1 --oneline | grep "test=develop" || exit -1
+    - ./paddle/fluid/lite/tools/build.sh check_need_ci
     - ./paddle/fluid/lite/tools/build.sh check_style
 
 build:server:
diff --git a/paddle/fluid/lite/tools/build.sh b/paddle/fluid/lite/tools/build.sh
index 8b3a742d5ed..53d4638e465 100755
--- a/paddle/fluid/lite/tools/build.sh
+++ b/paddle/fluid/lite/tools/build.sh
@@ -13,6 +13,11 @@ function prepare_for_codegen {
     mkdir -p ./paddle/fluid/lite/gen_code
     touch ./paddle/fluid/lite/gen_code/__generated_code__.cc
 }
+
+function check_need_ci {
+    git log -1 --oneline | grep "test=develop" || exit -1
+}
+
 function cmake_x86 {
     prepare_for_codegen
     cmake ..  -DWITH_GPU=OFF -DWITH_MKLDNN=OFF -DLITE_WITH_X86=ON ${common_flags}
@@ -232,6 +237,10 @@ function main {
                 check_style
                 shift
                 ;;
+            check_need_ci)
+                check_need_ci
+                shift
+                ;;
             *)
                 # unknown option
                 print_usage
-- 
GitLab