Merge pull request #53 from ethteck/nproc_test

Build faster on Jenkins
2026-05-25 15:25:21 -04:00 · 2020-04-05 14:40:20 -04:00
parent b9ac7fdfea fd9b31e103
commit 5aaaa4ef93
1 changed files with 2 additions and 2 deletions
@@ -9,13 +9,13 @@ 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') {
            steps {
                echo 'Building...'
-                sh 'make'
+                sh 'make -j`nproc`'
            }
        }
    }