From df07f824f3cc3b5986478e1186f6f9adb87c780e Mon Sep 17 00:00:00 2001
From: Gabriel Konat <gabrielkonat@gmail.com>
Date: Fri, 19 Jun 2020 11:30:42 +0200
Subject: [PATCH] Add Jenkinsfile that triggers build.

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

diff --git a/Jenkinsfile b/Jenkinsfile
new file mode 100644
index 00000000..86314aa3
--- /dev/null
+++ b/Jenkinsfile
@@ -0,0 +1,3 @@
+#!groovy
+@Library('metaborg.jenkins.pipeline') _
+spoofax2TriggerPipeline()