Adding jenkinsfile

master
denes 5 years ago
parent 9044a9948d
commit 65879a7e8b
Signed by: denes
GPG Key ID: A7D50EAD42F9FC9F

25
Jenkinsfile vendored

@ -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'
}
}
}
}
Loading…
Cancel
Save