From 8e277e1a8ad64f935d2d926241e4804843d3d4cb Mon Sep 17 00:00:00 2001
From: Mark Raynsford <code@io7m.com>
Date: Sun, 20 May 2018 15:54:47 +0100
Subject: [PATCH] Add jenkins configuration

---
 .gitmodules | 3 +++
 .jenkins    | 1 +
 2 files changed, 4 insertions(+)
 create mode 100644 .gitmodules
 create mode 160000 .jenkins

diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 0000000..fade7d7
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule ".jenkins"]
+	path = .jenkins
+	url = http://www.github.com/io7m/jenkinsfiles
diff --git a/.jenkins b/.jenkins
new file mode 160000
index 0000000..613db08
--- /dev/null
+++ b/.jenkins
@@ -0,0 +1 @@
+Subproject commit 613db08af5b7d6c86963f64ab7d57e4c3026a8fe