diff --git a/Dockerfile.jenkins b/Dockerfile.jenkins index a67a678..0b95589 100644 --- a/Dockerfile.jenkins +++ b/Dockerfile.jenkins @@ -9,8 +9,8 @@ RUN apt-get update && apt-get install -y \ pandoc RUN git clone https://github.com/ashinn/chibi-scheme.git --depth=1 RUN cd chibi-scheme && make -j 16 && make -j 16 install -RUN snow-chibi install "(foreign c)" -RUN snow-chibi install "(srfi 170)" +RUN snow-chibi install --always-yes "(foreign c)" +RUN snow-chibi install --always-yes "(srfi 170)" WORKDIR /builddir COPY Makefile . COPY compile-r7rs.scm .