]> git.plutz.net Git - blast/commitdiff
avoid repeating lines in sources.list
authorPaul Hänsch <paul@plutz.net>
Sat, 24 Aug 2019 18:59:51 +0000 (20:59 +0200)
committerPaul Hänsch <paul@plutz.net>
Sat, 24 Aug 2019 18:59:51 +0000 (20:59 +0200)
Makefile

index adec7d705cdb54597f062e3e7c4298c278fc0627..dc7dd52806e1aeccf2fbaef3484fd6e6d6591691 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -194,7 +194,7 @@ ${SYSROOT}/etc/apt/trusted.gpg.d/: ${SYSROOT}
        cp keys/*.gpg "$@"
 
 _install: ${SYSROOT} _aptkeys _norecommends
-       printf '%s\n' "$${SOURCES}" >"$${SYSROOT}/etc/apt/sources.list"
+       printf '%s\n' "$${SOURCES}" |sort -u >"$${SYSROOT}/etc/apt/sources.list"
        -cp /etc/resolv.conf "$${SYSROOT}/etc/"
        -chroot "$${SYSROOT}" sh -c 'apt-mark showmanual |xargs apt-mark auto'
        -chroot "$${SYSROOT}" apt-get update