diff --git a/Dockerfile.jenkins b/Dockerfile.jenkins index 6ebafb9..981b6bd 100644 --- a/Dockerfile.jenkins +++ b/Dockerfile.jenkins @@ -2,8 +2,8 @@ FROM schemers/chibi:head RUN apt-get update && apt-get install -y \ build-essential ca-certificates git make docker.io RUN git clone https://github.com/ashinn/chibi-scheme.git --depth=1 \ -WORKDIR /builddir && cd chibi-scheme && make -j 16 && make -j 16 install +WORKDIR /builddir COPY Makefile . COPY compile-r7rs.scm . COPY libs/ libs/