diff --git a/tests/gadget-zero/Jenkinsfile b/tests/gadget-zero/Jenkinsfile index 6e6ff4d4..c7939ab8 100644 --- a/tests/gadget-zero/Jenkinsfile +++ b/tests/gadget-zero/Jenkinsfile @@ -34,7 +34,7 @@ pipeline { steps { sh ''' . .env3/bin/activate - make -j3 V=1 + make V=1 make -C tests/gadget-zero all V=s ''' }