Jenkinsfile: add in --noconfirm for jenkins interface (#404)

runtimeverification · Jul 23, 2019 · 9ae34f5 · 9ae34f5
1 parent a743114
commit 9ae34f5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -182,7 +182,7 @@ pipeline {
           steps {
             dir("kevm-${env.RELEASE_ID}") {
               sh '''
-                sudo pacman -Syu
+                sudo pacman -Syu --noconfirm
                 cd package
                 makepkg --noconfirm --syncdeps
               '''