Making the build work
This commit is contained in:
parent
079a9cc8f1
commit
fea3ddcd2c
|
@ -5,7 +5,7 @@ pipeline {
|
||||||
}
|
}
|
||||||
stages {
|
stages {
|
||||||
stage("Build") {
|
stage("Build") {
|
||||||
agent { docker { image 'schemers/chezscheme'; args '--user=root --build-arg COMPILE_R7RS=sagittarius' } }
|
agent { dockerfile { path 'Dockerfile'; args '--user=root --build-arg COMPILE_R7RS=sagittarius' } }
|
||||||
steps {
|
steps {
|
||||||
sh 'make'
|
sh 'make'
|
||||||
sh 'make install'
|
sh 'make install'
|
||||||
|
|
Loading…
Reference in New Issue