From fbee9fcd5169139f1eb64040ad675a225b045385 Mon Sep 17 00:00:00 2001
From: Theofilos Manitaras <manitaras@cscs.ch>
Date: Mon, 11 Mar 2019 11:59:19 +0100
Subject: [PATCH] Reenable dom in the Jenkinsfile

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 5cf5c6ff19..d1a1557ee4 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', 'kesch']
+def machinesList = ['daint', 'dom', 'kesch']
 def machinesToRun = machinesList
 def runTests = true
 def uniqueID