From 77b74137e7ebf195a8d4139bb89c02982a4f4642 Mon Sep 17 00:00:00 2001 From: Michael Drake Date: Mon, 2 Dec 2019 14:29:51 +0000 Subject: [PATCH] CI: Update jenkins for gtk2 rename. --- utils/jenkins-build.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/utils/jenkins-build.sh b/utils/jenkins-build.sh index dc6698b33..0ef9897ba 100755 --- a/utils/jenkins-build.sh +++ b/utils/jenkins-build.sh @@ -191,7 +191,7 @@ case ${TARGET} in ;; - "gtk") + "gtk2") case ${HOST} in "x86_64-linux-gnu") ;; @@ -219,7 +219,7 @@ case ${TARGET} in IDENTIFIER="${HOST}-${IDENTIFIER}" OLD_IDENTIFIER="${HOST}-${OLD_IDENTIFIER}" - PKG_SRC=nsgtk + PKG_SRC=nsgtk2 PKG_SFX= ;;