From cfd6e052fc476a6c1e46ae8ea35500339111986f Mon Sep 17 00:00:00 2001 From: retropikzel Date: Thu, 15 May 2025 21:15:30 +0300 Subject: [PATCH] Remaking the Jenkinsfile --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 608ec21..8166af0 100644 --- a/Makefile +++ b/Makefile @@ -18,7 +18,7 @@ test-compile-r7rs: tmp/test/libtest.o tmp/test/libtest.so tmp/test/libtest.a ./${TESTNAME} test-compile-r7rs-docker: - docker build --build-arg COMPILE_R7RS=${COMPILE_R7RS} --tag=r7rs-pffi-test-${COMPILE_R7RS} -f dockerfiles/test . + docker build --build-arg COMPILE_R7RS=${COMPILE_R7RS} --tag=r7rs-pffi-test-${COMPILE_R7RS} -f Dockerfile.test . docker run -v "${PWD}":/workdir -w /workdir -t r7rs-pffi-test-${COMPILE_R7RS} sh -c "make COMPILE_R7RS=${COMPILE_R7RS} test-compile-r7rs" tmp/test/libtest.o: tests/c-src/libtest.c