From f992f469e8eba2d37c2b994698839d753ab08071 Mon Sep 17 00:00:00 2001
From: Andrei Vagin <avagin@virtuozzo.com>
Date: Thu, 29 Mar 2018 20:24:52 +0300
Subject: [PATCH] jenkins: add a pipeline file for criu-lazy-migration

Signed-off-by: Andrei Vagin <avagin@virtuozzo.com>
---
 test/jenkins/criu-lazy-migration.pipeline | 34 +++++++++++++++++++++++
 test/jenkins/criu-lazy-migration.sh       |  0
 2 files changed, 34 insertions(+)
 create mode 100644 test/jenkins/criu-lazy-migration.pipeline
 mode change 100644 => 100755 test/jenkins/criu-lazy-migration.sh

diff --git a/test/jenkins/criu-lazy-migration.pipeline b/test/jenkins/criu-lazy-migration.pipeline
new file mode 100644
index 000000000..7d655513c
--- /dev/null
+++ b/test/jenkins/criu-lazy-migration.pipeline
@@ -0,0 +1,34 @@
+pipeline {
+	options {
+		buildDiscarder(logRotator(numToKeepStr: '30', artifactNumToKeepStr: '30'))
+	}
+	agent {
+		node {
+			label 'x86_64'
+		}
+	}
+	triggers {
+		cron('H H/4 * * *')
+	}
+	stages {
+		stage('Build') {
+			steps {
+				sh 'make'
+				sh 'make -C test/zdtm'
+			}
+		}
+		stage('Test'){
+			steps {
+				sh './test/jenkins/run_ct sh -c "mount --make-rprivate / && mount --rbind . /mnt && cd /mnt && ./test/jenkins/criu-lazy-migration.sh"'
+				junit 'test/report/criu-testreport*.xml'
+			}
+		}
+	}
+	post {
+		failure {
+			emailext attachLog: true, body: '''$DEFAULT_CONTENT
+
+${FILE,path="test/report/output"}''', compressLog: true, subject: '$DEFAULT_SUBJECT', to: "${env.CRIU_RECIPIENTS}"
+		}
+	}
+}
diff --git a/test/jenkins/criu-lazy-migration.sh b/test/jenkins/criu-lazy-migration.sh
old mode 100644
new mode 100755