diff --git a/Dockerfile b/Dockerfile index 9d45bf51eda788f89bd44ad53ac06c47fd5248e4..e162b73f5c1c24d86a2f00c9dad1748005955eb9 100644 --- a/Dockerfile +++ b/Dockerfile @@ -15,5 +15,5 @@ RUN apt-get update \ autoconf libtool autotools-dev \ libssl-dev libxml2-dev libyaml-dev libgmp-dev libz-dev \ file cpio unzip bc rsync bison flex device-tree-compiler python3-distutils swig python3-dev ccache \ - || true && \ + || true \ && apt-get clean