From ddb4f3bdf7fba1e02fd03de906b0d5ef91dcc1c9 Mon Sep 17 00:00:00 2001
From: Darryl Green <darryl.green@arm.com>
Date: Fri, 19 Oct 2018 11:34:50 +0100
Subject: [PATCH] Add a Jenkinsfile for PR job testing

---
 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..78a7878ee
--- /dev/null
+++ b/tests/.jenkins/Jenkinsfile
@@ -0,0 +1 @@
+mbedtls_psa.run_job()