From 7f1c8362584eba26c1a75bfbd9da5fd5a749be31 Mon Sep 17 00:00:00 2001 From: Rob Austein Date: Sun, 10 Feb 2019 23:03:30 +0000 Subject: Update notes. --- Dockerfile | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'Dockerfile') diff --git a/Dockerfile b/Dockerfile index 9998a71..7f9b257 100644 --- a/Dockerfile +++ b/Dockerfile @@ -2,6 +2,9 @@ FROM debian:jessie RUN echo 'deb http://deb.debian.org/debian jessie-backports main' > /etc/apt/sources.list.d/backports.list +# An assortment of normal Debian packages. Might want to move this to +# after the horrible XiLinx stuff so we don't have to redo that very often. + RUN apt-get update \ && \ apt-get install -y \ @@ -16,7 +19,7 @@ RUN apt-get update \ reprepro \ ubuntu-archive-keyring \ ubuntu-dev-tools \ - pbuilder \ + pbuilder \ && \ apt-get -t jessie-backports install -y \ - debootstrap distro-info-data + debootstrap distro-info-data -- cgit v1.2.3