From e2fe6f7320c56c55892f6a321b54307d51648dbb Mon Sep 17 00:00:00 2001
From: Gary Talent <gtalent2@gmail.com>
Date: Thu, 12 Apr 2018 23:02:36 -0500
Subject: [PATCH] [nostalgia] Add Jenkinsfile

---
 Jenkinsfile | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 Jenkinsfile

diff --git a/Jenkinsfile b/Jenkinsfile
new file mode 100644
index 00000000..84e4bf18
--- /dev/null
+++ b/Jenkinsfile
@@ -0,0 +1,11 @@
+pipeline {
+	agent { dockerfile true }
+	stages {
+		stage('Build') {
+			steps {
+				sh 'make release'
+				sh 'make'
+			}
+		}
+	}
+}