Ping²: [PATCH 2/2] tools/libs: fix uninstall rule for header files

2020-11-23 Thread Jan Beulich
On 29.10.2020 16:24, Bertrand Marquis wrote: >> On 19 Oct 2020, at 08:21, Jan Beulich wrote: >> >> This again was working right only as long as $(LIBHEADER) consisted of >> just one entry. >> >> Signed-off-by: Jan Beulich > Reviewed-by: Bertrand Marquis > > The change is obviously fixing a bug

Re: [PATCH 2/2] tools/libs: fix uninstall rule for header files

2020-10-29 Thread Bertrand Marquis
> On 19 Oct 2020, at 08:21, Jan Beulich wrote: > > This again was working right only as long as $(LIBHEADER) consisted of > just one entry. > > Signed-off-by: Jan Beulich Reviewed-by: Bertrand Marquis The change is obviously fixing a bug :-) and the double $ is required to protect from ma

Ping: [PATCH 2/2] tools/libs: fix uninstall rule for header files

2020-10-29 Thread Jan Beulich
On 19.10.2020 09:21, Jan Beulich wrote: > This again was working right only as long as $(LIBHEADER) consisted of > just one entry. > > Signed-off-by: Jan Beulich While patch 1 has become irrelevant with Juergen's more complete change, this one is still applicable afaict. Jan > --- > An alterna

[PATCH 2/2] tools/libs: fix uninstall rule for header files

2020-10-19 Thread Jan Beulich
This again was working right only as long as $(LIBHEADER) consisted of just one entry. Signed-off-by: Jan Beulich --- An alternative would be to use $(addprefix ) without any shell loop. --- a/tools/libs/libs.mk +++ b/tools/libs/libs.mk @@ -107,7 +107,7 @@ install: build .PHONY: uninstall unin