From b4cfe16406aa784358ffa67c95097bec7c31c217 Mon Sep 17 00:00:00 2001 From: Rob Austein Date: Tue, 19 Feb 2019 06:40:07 +0000 Subject: Dockerfile needs to clean up after Builder, apparently. --- Dockerfile | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'Dockerfile') diff --git a/Dockerfile b/Dockerfile index 75769cf..284d3f8 100644 --- a/Dockerfile +++ b/Dockerfile @@ -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 -- cgit v1.2.3