From bb3a6295a223abf86b2788626aad669a53ac9bd6 Mon Sep 17 00:00:00 2001
From: Elie Tournier <tournier.elie@gmail.com>
Date: Thu, 7 Mar 2019 17:39:37 +0000
Subject: [PATCH] ci/Dockerfile: no error for folder creation

Signed-off-by: Elie Tournier <elie.tournier@collabora.com>
Reviewed-By: Gert Wollny <gert.wollny@collabora.com>
---
 ci/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/Dockerfile b/ci/Dockerfile
index fdd6fdd..3eaad2f 100644
--- a/ci/Dockerfile
+++ b/ci/Dockerfile
@@ -111,7 +111,7 @@ RUN git clone --shallow-since="$GIT_DATE" https://github.com/KhronosGroup/VK-GL-
     git checkout ${KNOWN_GOOD_CTS} && \
     git log --oneline -n 1 && \
     python3 external/fetch_sources.py && \
-    mkdir build && \
+    mkdir -p build && \
     cd build && \
     cmake -DDEQP_TARGET=x11_egl_glx -DCMAKE_BUILD_TYPE=Release .. && \
     make -j$(nproc) && \