diff options
author | Rob Austein <sra@hactrn.net> | 2019-02-19 06:40:07 +0000 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2019-02-19 06:40:07 +0000 |
commit | b4cfe16406aa784358ffa67c95097bec7c31c217 (patch) | |
tree | 805cf511db53c5bbe7d2db4da1fa8a4382f937c3 /Dockerfile | |
parent | 70d2b721caaf65f77270f82a5491316786e23aba (diff) |
Dockerfile needs to clean up after Builder, apparently.
Diffstat (limited to 'Dockerfile')
-rw-r--r-- | Dockerfile | 10 |
1 files changed, 9 insertions, 1 deletions
@@ -1,6 +1,10 @@ FROM cryptech-builder:base -RUN echo 'deb http://deb.debian.org/debian jessie-backports main' > /etc/apt/sources.list.d/backports.list +# Should conditionalize the "jessie-backports" stuff on --build-env=DEBIAN_RELEASE +# from Makefile. Later. + +RUN echo 'deb http://deb.debian.org/debian jessie-backports main' \ + > /etc/apt/sources.list.d/backports.list # Stuff we need we need to build firmware and client packages. This # stuff is much more likely to change than the XiLinx tools, so we put @@ -22,3 +26,7 @@ RUN apt-get update && \ pbuilder && \ apt-get -t jessie-backports install -y \ debootstrap distro-info-data + +USER builder +WORKDIR /home/builder +CMD /bin/bash |