Disable MicroTVM on i386 CI (#3569)

6b669bfa · Logan Weber · Tianqi Chen · 637397be · 6b669bfa
Commit 6b669bfa authored Jul 18, 2019 by Logan Weber Committed by Tianqi Chen Jul 18, 2019
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 1 deletions

Jenkinsfile
+0 -1

No files found.
--- 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