From f5919cacc53a00a7350d0ad76fba8b330647a8f5 Mon Sep 17 00:00:00 2001 From: Christopher Koch Date: Thu, 8 Nov 2018 14:24:47 -0800 Subject: [PATCH] integration: fix spacing in dockerfile. --- .circleci/images/integration/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.circleci/images/integration/Dockerfile b/.circleci/images/integration/Dockerfile index f9cb5fddbb..6107580abe 100644 --- a/.circleci/images/integration/Dockerfile +++ b/.circleci/images/integration/Dockerfile @@ -42,7 +42,7 @@ COPY config_linux4.17_amd64.txt .config # Build linux RUN set -eux; \ git clone --depth=1 --branch=v4.17 https://github.com/torvalds/linux; \ - sudo chmod 0444 .config; \ + sudo chmod 0444 .config; \ mv .config linux/; \ cd linux; \ make -j$(($(nproc) * 2 + 1)); \