From a7b309b97a7718ecb73f7be744366bc00d7a0a99 Mon Sep 17 00:00:00 2001
From: Theofilos Manitaras <manitaras@cscs.ch>
Date: Tue, 2 Jul 2019 13:28:49 +0200
Subject: [PATCH] Define machines to run the CI with Jenkins params

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

diff --git a/Jenkinsfile b/Jenkinsfile
index d1a1557ee4..e45c414a75 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -3,7 +3,7 @@
 def dirPrefix = 'reframe-ci'
 def loginBash = '#!/bin/bash -l'
 def bashScript = 'ci-scripts/ci-runner.bash'
-def machinesList = ['daint', 'dom', 'kesch']
+def machinesList = params.machines.split()
 def machinesToRun = machinesList
 def runTests = true
 def uniqueID