diff options
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Dockerfile b/Dockerfile index 82854f4d..a9be22de 100644 --- a/Dockerfile +++ b/Dockerfile @@ -75,8 +75,9 @@ COPY . . ARG CC=gcc-$GCC_VERSION ARG CXX=g++-$GCC_VERSION -RUN sed -i 's/-$(MAKE)/$(MAKE)/g' GNUmakefile && make clean && \ - make distrib && make install && make clean +RUN sed -i.bak 's/^ -/ /g' GNUmakefile && \ + make clean && make distrib && make install && make clean && \ + mv GNUmakefile.bak GNUmakefile RUN echo "set encoding=utf-8" > /root/.vimrc && \ echo ". /etc/bash_completion" >> ~/.bashrc && \ |