From 400970c6d0c246bbf9d054271145c13ad370fed2 Mon Sep 17 00:00:00 2001 From: denes Date: Sat, 9 Feb 2019 00:21:06 +0100 Subject: [PATCH] Adding jenkinsfile --- Jenkinsfile | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 Jenkinsfile diff --git a/Jenkinsfile b/Jenkinsfile new file mode 100644 index 0000000..b109611 --- /dev/null +++ b/Jenkinsfile @@ -0,0 +1,13 @@ +pipeline { + agent any + + stages { + stage('Compile') { + steps { + echo 'Building..' + sh 'cmake . && make' + } + } + } +} +