From: Logan Weber <36520469+weberlo@users.noreply.github.com>
Date: Thu, 18 Jul 2019 17:20:16 +0000 (-0700)
Subject: Disable MicroTVM on i386 CI (#3569)
X-Git-Tag: upstream/0.7.0~2167
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=6b669bfa6dd3ad4e8e1c5ef222fd41046c8f2077;p=platform%2Fupstream%2Ftvm.git

Disable MicroTVM on i386 CI (#3569)
---

diff --git a/Jenkinsfile b/Jenkinsfile
index c38ec5296..1f4ec1153 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -208,7 +208,6 @@ stage('Build') {
            cd build
            cp ../cmake/config.cmake .
            echo set\\(USE_SORT ON\\) >> config.cmake
-           echo set\\(USE_MICRO ON\\) >> config.cmake
            echo set\\(USE_RPC ON\\) >> config.cmake
            echo set\\(USE_GRAPH_RUNTIME_DEBUG ON\\) >> config.cmake
            echo set\\(USE_LLVM llvm-config-5.0\\) >> config.cmake