Merge branch 'master' of https://github.com/redox-os/redox

2017-10-24 19:35:41 -06:00 · 2017-10-24 19:35:41 -06:00 · 28e512c98a
parent 2ec39c0a88 3c0c562517
commit 28e512c98a
1 changed files with 1 additions and 0 deletions
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@ -16,6 +16,7 @@ RUN set -ex;                                                                   \
        sudo                                                                   \
        texinfo                                                                \
        git                                                                    \
+        cmake                                                                  \
        ;                                                                      \
    apt-key adv --keyserver keyserver.ubuntu.com --recv-keys AA12E97F0881517F; \
    echo "deb https://static.redox-os.org/toolchain/apt/ /" >>                 \