make_mirror.sh: also include build-essential

pull/1/head
parent 5649f7d69a
commit 96c6913281
Signed by: josch
GPG Key ID: F2CBA5C78FBD83E1

@ -49,7 +49,8 @@ END
| xargs --delimiter='\n' /usr/lib/apt/apt-helper cat-file \
| grep-dctrl --no-field-names --show-field=Package --exact-match \
\( --field=Essential yes --or --field=Priority required \
--or --field=Priority important --or --field=Priority standard \))
--or --field=Priority important --or --field=Priority standard \
--or --field=Package build-essential \) )
pkgs="$(echo $pkgs) build-essential"

Loading…
Cancel
Save