skip ports

carstene1ns · Dec 3, 2023 · 01e0a8e · 01e0a8e
1 parent 1b8db58
commit 01e0a8e
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/liblcf/Jenkinsfile b/liblcf/Jenkinsfile
@@ -9,6 +9,9 @@ pipeline {
 	agent none
 	stages {
 		stage('Build Ports') {
+			when {
+				expression { ['all' ,'3DS', 'Switch', 'PSVita', 'Wii', 'WiiU'].contains(params.PLATFORM_FILTER) }
+			}
 			matrix {
 				agent {
 					label "${PLATFORM}"