diff --git a/Jenkinsfile b/Jenkinsfile index 779b853..428859c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -33,7 +33,7 @@ pipeline { steps { sh "apt-get update && apt-get install -y git ca-certificates gcc make libffi-dev" sh "git clone https://github.com/ashinn/chibi-scheme.git --depth=1" - sh "rake -j8 -C chibi-scheme" + sh "make -j8 -C chibi-scheme" sh "make -j8 -C chibi-scheme install" sh "snow-chibi install retropikzel.compile-r7rs" script {