setup too

2026-05-23 15:01:47 -04:00 · 2020-04-05 12:18:58 -04:00
parent 1469f828ac
commit fd9b31e103
1 changed files with 1 additions and 1 deletions
@@ -9,7 +9,7 @@ pipeline {
                sh 'git submodule update --init --recursive'
                sh 'cp -r /usr/local/etc/ido/ido7.1_compiler tools/ido7.1_compiler'
                sh 'chmod +x -R tools/ido*'
-                sh 'make setup'
+                sh 'make -j`nproc` setup'
            }
        }
        stage('Build') {