minor fixes to dockerfile

6 years ago · b535c68264
parent 01ead29cea
commit b535c68264
1 changed files with 1 additions and 1 deletions
--- 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 && \