From 14daada290d0729955f4d48a4f316ca591ce5388 Mon Sep 17 00:00:00 2001
From: retropikzel <retropikzel@iki.fi>
Date: Sun, 14 Sep 2025 08:37:17 +0300
Subject: [PATCH] Adding docker build and push to Jenkins

---
 Dockerfile.jenkins | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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 .