diff --git a/test/Dockefile_macoslike b/test/Dockefile_macoslike index 2c534b1..6e8c524 100644 --- a/test/Dockefile_macoslike +++ b/test/Dockefile_macoslike @@ -1,6 +1,6 @@ FROM debian:jessie -RUN apt-get update && apt-get install -y wget tar gcc automake make bison flex curl +RUN apt-get update && apt-get install -y wget tar gcc automake make bison flex curl vim makeinfo RUN wget https://ftp.gnu.org/gnu/bash/bash-3.2.57.tar.gz && \ tar -xvzf bash-3.2.57.tar.gz && \ cd bash-3.2.57 && \