From f62f1030b3a46effcd477482ff045af8c176de52 Mon Sep 17 00:00:00 2001 From: Cyril Brulebois Date: Sat, 24 Oct 2015 21:15:46 +0000 Subject: [PATCH] Pass --keep-debootstrap-dir to debootstrap. This makes it possible to keep debootstrap-time information, which includes the list of downloaded Debian packages (/debootstrap/deburis starting with debootstrap 1.0.73). Signed-off-by: Cyril Brulebois --- auto/build | 3 +++ 1 file changed, 3 insertions(+) diff --git a/auto/build b/auto/build index d464959c1cd..ef11b9f5742 100755 --- a/auto/build +++ b/auto/build @@ -28,6 +28,9 @@ print_iso_size () { ### Main +# we need /debootstrap/deburis to build a manifest of used packages: +export DEBOOTSTRAP_OPTIONS='--keep-debootstrap-dir' + # we require building from git git rev-parse --is-inside-work-tree &> /dev/null \ || fatal "${PWD} is not a Git tree." -- 2.11.4.GIT