Making the build work
This commit is contained in:
parent
1dbd625ff2
commit
7f661b7159
|
@ -86,7 +86,7 @@ pipeline {
|
||||||
steps {
|
steps {
|
||||||
catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
|
catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
|
||||||
sh 'make && make install'
|
sh 'make && make install'
|
||||||
sh 'make test-r7rs'
|
sh 'make test-r6rs'
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue