diff options
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/Dockerfile b/Dockerfile index 42eb00d5a..941a7e0d3 100644 --- a/Dockerfile +++ b/Dockerfile @@ -40,13 +40,6 @@ RUN apt-get update && apt-get install -y \ --no-install-recommends \ && apt-get clean -# install bats -RUN cd /tmp \ - && git clone https://github.com/sstephenson/bats.git \ - && cd bats \ - && git reset --hard 03608115df2071fff4eaaff1605768c275e5f81f \ - && ./install.sh /usr/local - # install criu ENV CRIU_VERSION 1.7 RUN mkdir -p /usr/src/criu \ |