diff --git a/Jenkinsfile b/Jenkinsfile index 70e287c..06ddb9b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -13,11 +13,8 @@ pipeline { } parameters { - //string(name: 'R7RS_SCHEMES', defaultValue: 'chibi chicken gauche guile kawa mosh racket sagittarius stklos ypsilon', description: '') - string(name: 'R7RS_SCHEMES', defaultValue: 'chibi kawa', description: '') - //string(name: 'R6RS_SCHEMES', defaultValue: 'chezscheme guile ikarus ironscheme mosh racket sagittarius ypsilon', description: '') - string(name: 'R6RS_SCHEMES', defaultValue: 'chezscheme ikarus', description: '') - //string(name: 'R6RS_SCHEMES', defaultValue: 'chezscheme', description: '') + string(name: 'R7RS_SCHEMES', defaultValue: 'chibi chicken gauche guile kawa mosh racket sagittarius stklos ypsilon', description: '') + string(name: 'R6RS_SCHEMES', defaultValue: 'chezscheme guile ikarus ironscheme mosh racket sagittarius ypsilon', description: '') string(name: 'LIBRARIES', defaultValue: 'system shell', description: '') }