On Tue, 12 Jan 2021 18:26:29 +
Alex Bennée wrote:
> I'm confused - extra-files is while building the docker image, not
> running it.
>
> >
> > Or am I missing some part of how this works?
>
> Add an explicit rule in Makefile.include:
>
> docker-image-debian-hexagon-cross: EXTRA_FILES=f
Alessandro Di Federico writes:
> On Tue, 12 Jan 2021 11:58:30 +
> Alex Bennée wrote:
>
>> > -for filename in args.extra_files or []:
>> > +extra_files = args.extra_files or []
>> > +extra_files += glob(basename + ".*")
>> > +for filename in e
On Tue, 12 Jan 2021 11:58:30 +
Alex Bennée wrote:
> > -for filename in args.extra_files or []:
> > +extra_files = args.extra_files or []
> > +extra_files += glob(basename + ".*")
> > +for filename in extra_files:
>
> Hmm not so sure about thi
Taylor Simpson writes:
> From: Alessandro Di Federico
>
> Signed-off-by: Alessandro Di Federico
> ---
> tests/docker/docker.py | 8 ++--
> 1 file changed, 6 insertions(+), 2 deletions(-)
>
> diff --git a/tests/docker/docker.py b/tests/docker/docker.py
> index 36b7868..d473566 100755
> --
From: Alessandro Di Federico
Signed-off-by: Alessandro Di Federico
---
tests/docker/docker.py | 8 ++--
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/tests/docker/docker.py b/tests/docker/docker.py
index 36b7868..d473566 100755
--- a/tests/docker/docker.py
+++ b/tests/docker