Jenkinsfile: --noconfirm option to pacman

runtimeverification · Jul 26, 2019 · 2f9c2c9 · 2f9c2c9
1 parent 9aaa8bf
commit 2f9c2c9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -220,7 +220,7 @@ pipeline {
               sh '''
                 sudo pacman -Syu --noconfirm
                 curl --location "$(cat deps/k_release)/kframework-5.0.0-1-x86_64.pkg.tar.xz" --output kframework.pkg.tar.xz
-                sudo pacman -U kframework.pkg.tar.xz
+                sudo pacman --noconfirm -U kframework.pkg.tar.xz
                 cd package
                 makepkg --noconfirm --syncdeps
               '''