From b535c6826433daa7e45f7910e58f7f620dfdd6b0 Mon Sep 17 00:00:00 2001 From: Simon Let Date: Fri, 17 Jan 2020 17:51:02 +0100 Subject: [PATCH] minor fixes to dockerfile --- test/Dockefile_macoslike | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 && \