diff --git a/Jenkinsfile b/Jenkinsfile index e251b78..1a1ae13 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -13,9 +13,12 @@ pipeline { } parameters { - 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: '') + //string(name: 'R7RS_SCHEMES', defaultValue: 'chibi chicken gauche guile kawa mosh racket sagittarius stklos ypsilon', description: '') + string(name: 'R7RS_SCHEMES', defaultValue: 'chibi', description: '') + //string(name: 'R6RS_SCHEMES', defaultValue: 'chezscheme guile ikarus ironscheme mosh racket sagittarius ypsilon', description: '') + string(name: 'R6RS_SCHEMES', defaultValue: 'chezscheme', description: '') + //string(name: 'R6RS_SCHEMES', defaultValue: 'chezscheme', description: '') + string(name: 'LIBRARIES', defaultValue: 'system', description: '') } stages {