From b51e267bee83d7cbea5b48c766cfd2a1f9e66186 Mon Sep 17 00:00:00 2001
From: Darryl Green <darryl.green@arm.com>
Date: Fri, 19 Oct 2018 15:25:10 +0100
Subject: [PATCH] Add Jenkinsfile for PR job

---
 tests/.jenkins/Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 tests/.jenkins/Jenkinsfile

diff --git a/tests/.jenkins/Jenkinsfile b/tests/.jenkins/Jenkinsfile
new file mode 100644
index 000000000..ed04053d2
--- /dev/null
+++ b/tests/.jenkins/Jenkinsfile
@@ -0,0 +1 @@
+mbedtls.run_job()