Merge branch 'master' into nightly
commitd56e99ae194ac8e9acb326cbfc881e423a560ac1
authorDan Burton <danburton.email@gmail.com>
dateFri 28 Jul 2017, 16:52 (9 years ago)
parentc96064aabce203
Dockerfile+1−1
@@ -2,7 +2,7 @@ FROM fpco/pid1:16.04
22
33ENV HOME /home/stackage
44ENV LANG en_US.UTF-8
5−ENV PATH /opt/ghc/8.0.2/bin:/usr/sbin:/usr/bin:/sbin:/bin
5+ENV PATH /opt/ghc/8.2.1/bin:/usr/sbin:/usr/bin:/sbin:/bin
66
77ADD debian-bootstrap.sh /tmp/debian-bootstrap.sh
88RUN /tmp/debian-bootstrap.sh && rm /tmp/debian-bootstrap.sh