From 38984578be0ab4d15764f9fc8a507f9226e7b096 Mon Sep 17 00:00:00 2001
From: Sakura286 <sakura286@outlook.com>
Date: Wed, 18 Sep 2024 17:42:30 +0800
Subject: [PATCH] Add Jenkins build option

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 5a43da8c595..b3dbeb25444 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -186,6 +186,7 @@ pipeline {
 						'cocoa.macosx.x86_64',\
 						'gtk.linux.aarch64',\
 						'gtk.linux.ppc64le',\
+						'gtk.linux.riscv64',\
 						'gtk.linux.x86_64',\
 						'win32.win32.aarch64',\
 						'win32.win32.x86_64'