From b43e52ff1111a0b0e039a0155de4a04c08ad32bb Mon Sep 17 00:00:00 2001
From: Yaman Umuroglu <maltanar@gmail.com>
Date: Mon, 20 Apr 2020 00:12:23 +0100
Subject: [PATCH] [Jenkins] create build dir in Dockerfile

---
 docker/Dockerfile.ci | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docker/Dockerfile.ci b/docker/Dockerfile.ci
index 14cc539e6..b051719b9 100644
--- a/docker/Dockerfile.ci
+++ b/docker/Dockerfile.ci
@@ -79,5 +79,7 @@ ENV PYNQSHELL_PATH "/workspace/PYNQ-HelloWorld/boards"
 
 RUN echo "source \$VIVADO_PATH/settings64.sh" >> /root/.bashrc
 RUN echo "PS1='\[\033[1;36m\]\u\[\033[1;31m\]@\[\033[1;32m\]\h:\[\033[1;35m\]\w\[\033[1;31m\]\$\[\033[0m\] '" >>  /root/.bashrc
+RUN mkdir -p /tmp/$FINN_INST_NAME
+RUN mkdir -p $VIVADO_IP_CACHE
 
 WORKDIR /workspace/finn
-- 
GitLab