diff --git a/workspace/Dockerfile b/workspace/Dockerfile index 1ab341f4..516344f9 100644 --- a/workspace/Dockerfile +++ b/workspace/Dockerfile @@ -48,7 +48,7 @@ RUN apt-get update && apt-get install -y --force-yes \ curl \ vim \ nano \ - pkg-config + pkg-config # Clean up, to free some space RUN apt-get clean