diff --git a/Jenkinsfile b/Jenkinsfile
index 39b42fc..9823bb0 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1 +1 @@
-buildPlugin(useAci: true)
+buildPlugin(useAci: true, platforms: ['linux'])