From 2f9c2c9489423f06f3ce94526c2b7e143bf6f5df Mon Sep 17 00:00:00 2001
From: Everett Hildenbrandt <everett.hildenbrandt@gmail.com>
Date: Fri, 26 Jul 2019 13:26:18 -0600
Subject: [PATCH] Jenkinsfile: --noconfirm option to pacman

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 92366c7d76..10e19b36e5 100644
--- 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
               '''