From 65879a7e8b8bac8eb12fc9d086c9eda7453e32f4 Mon Sep 17 00:00:00 2001 From: denes Date: Thu, 3 Oct 2019 17:07:12 +0200 Subject: [PATCH] Adding jenkinsfile --- Jenkinsfile | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 Jenkinsfile diff --git a/Jenkinsfile b/Jenkinsfile new file mode 100644 index 0000000..5b3d45c --- /dev/null +++ b/Jenkinsfile @@ -0,0 +1,25 @@ +pipeline { + agent any + + stages { + stage('Cloning git sumbodules') { + steps { + sh 'git submodule update --init --recursive' + } + } + + stage('Compile') { + steps { + sh 'cmake .' + sh 'make -j 4' + } + } + + stage('Run') { + steps { + sh 'performance_measuring' + } + } + + } +}