Thanks, applied as 6b2f811a0403948a5475d0f56f05c3cd8ab2f001. Michael
[sent from post-receive hook] On Tue, 05 Aug 2025 06:59:52 +0200, Lars Schmidt <[email protected]> wrote: > If the target path does not exist, the files are not copied. > To avoid that, create the target path in advance to copying the files. > > Signed-off-by: Lars Schmidt <[email protected]> > Reviewed-by: Alexander Dahl <[email protected]> > Message-Id: <[email protected]> > Signed-off-by: Michael Olbrich <[email protected]> > > diff --git a/scripts/lib/ptxd_make_world_inject.sh > b/scripts/lib/ptxd_make_world_inject.sh > index e8e94fbe6397..a31184dced70 100644 > --- a/scripts/lib/ptxd_make_world_inject.sh > +++ b/scripts/lib/ptxd_make_world_inject.sh > @@ -24,6 +24,7 @@ ptxd_make_inject() { > > echo -e "\nInject file $(ptxd_print_path ${source}) into" \ > "$(ptxd_print_path ${target})..." > + mkdir -p "$(dirname "${target}")" > cp ${source} ${target} > } > export -f ptxd_make_inject
