From c85c520b06d5383c8ec1bd12e4641077a3b95341 Mon Sep 17 00:00:00 2001
From: Rok Cesnovar <rok.cesnovar@fri.uni-lj.si>
Date: Fri, 24 Sep 2021 20:12:56 +0200
Subject: [PATCH] stanc.js can use the Dockerfile

---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 0dc85b5841..28a69b9c98 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -277,8 +277,8 @@ pipeline {
                 }
                 stage("Build stanc.js") {
                     agent {
-                        docker {
-                            image 'andrjohns/stanc3-building:static'
+                        dockerfile {
+                            filename 'docker/debian/Dockerfile'
                             //Forces image to ignore entrypoint
                             args "-u root --entrypoint=\'\'"
                         }