Making the build work
This commit is contained in:
parent
c36470c2bd
commit
05d3d6c450
|
@ -9,8 +9,8 @@ pipeline {
|
||||||
steps {
|
steps {
|
||||||
sh 'make'
|
sh 'make'
|
||||||
sh 'make install'
|
sh 'make install'
|
||||||
sh 'make COMPILE_R7RS=${COMPILE_R7RS} test-r6rs'
|
sh 'make test-r6rs'
|
||||||
sh 'make COMPILE_R7RS=${COMPILE_R7RS} test-r7rs'
|
sh 'make test-r7rs'
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
stage("Test chez r6rs") {
|
stage("Test chez r6rs") {
|
||||||
|
|
Loading…
Reference in New Issue