diff --git a/utils/jenkins-build.sh b/utils/jenkins-build.sh index 20808b3fc..b6ca21dd7 100755 --- a/utils/jenkins-build.sh +++ b/utils/jenkins-build.sh @@ -207,6 +207,39 @@ case ${TARGET} in ;; + "gtk3") + case ${HOST} in + "x86_64-linux-gnu") + ;; + + "arm-linux-gnueabihf") + ;; + + "aarch64-linux-gnu") + ;; + + amd64-unknown-openbsd*) + MAKE=gmake + ;; + + x86_64-unknown-freebsd*) + MAKE=gmake + ;; + + *) + echo "Target \"${TARGET}\" cannot be built on \"${HOST}\"" + exit 1 + ;; + + esac + + IDENTIFIER="${HOST}-${IDENTIFIER}" + OLD_IDENTIFIER="${HOST}-${OLD_IDENTIFIER}" + PKG_SRC=nsgtk3 + PKG_SFX= + ;; + + "framebuffer") case ${HOST} in "x86_64-linux-gnu")