Re: [PATCH] tools/configure: drop BASH configure variable [and 1 more messages]

2020-07-31 Thread Jan Beulich
On 31.07.2020 15:46, Andrew Cooper wrote: > On 31/07/2020 14:30, Jan Beulich wrote: >> On 31.07.2020 15:02, Ian Jackson wrote: >>> Jan Beulich writes ("Re: [PATCH] tools/configure: drop BASH configure >>> variable"): >>>> On 29.06.2020 14:05,

Re: [PATCH] tools/configure: drop BASH configure variable [and 1 more messages]

2020-07-31 Thread Andrew Cooper
On 31/07/2020 14:30, Jan Beulich wrote: > On 31.07.2020 15:02, Ian Jackson wrote: >> Jan Beulich writes ("Re: [PATCH] tools/configure: drop BASH configure >> variable"): >>> On 29.06.2020 14:05, Ian Jackson wrote: >>>> Jan Beulich writes (&qu

Re: [PATCH] tools/configure: drop BASH configure variable [and 1 more messages]

2020-07-31 Thread Jan Beulich
On 31.07.2020 15:02, Ian Jackson wrote: > Jan Beulich writes ("Re: [PATCH] tools/configure: drop BASH configure > variable"): >> On 29.06.2020 14:05, Ian Jackson wrote: >>> Jan Beulich writes ("Re: [PATCH] tools/configure: drop BASH configure >>>

Re: [PATCH] tools/configure: drop BASH configure variable [and 1 more messages]

2020-07-31 Thread Ian Jackson
Jan Beulich writes ("Re: [PATCH] tools/configure: drop BASH configure variable"): > On 29.06.2020 14:05, Ian Jackson wrote: > > Jan Beulich writes ("Re: [PATCH] tools/configure: drop BASH configure > > variable"): > >> On 26.06.2020 19:00, Andrew Coo

Re: [PATCH] tools/configure: drop BASH configure variable

2020-06-29 Thread Jan Beulich
On 29.06.2020 14:05, Ian Jackson wrote: > Jan Beulich writes ("Re: [PATCH] tools/configure: drop BASH configure > variable"): >> On 26.06.2020 19:00, Andrew Cooper wrote: >>> diff --git a/xen/xsm/flask/policy/mkaccess_vector.sh >>> b/xen/xsm/flask/polic

RE: [PATCH] tools/configure: drop BASH configure variable

2020-06-29 Thread Paul Durrant
> -Original Message- > From: Andrew Cooper > Sent: 29 June 2020 14:51 > To: Ian Jackson > Cc: Xen-devel ; Wei Liu ; > Daniel De Graaf > ; Paul Durrant > Subject: Re: [PATCH] tools/configure: drop BASH configure variable > > On 29/06/2020 14:34, Ian Ja

Re: [PATCH] tools/configure: drop BASH configure variable

2020-06-29 Thread Andrew Cooper
On 29/06/2020 14:34, Ian Jackson wrote: > Andrew Cooper writes ("[PATCH] tools/configure: drop BASH configure > variable"): >> This is a weird variable to have in the first place. The only user of it is >> XSM's CONFIG_SHELL, which opencodes a fallback to sh, and the only two >> scripts >> run w

Re: [PATCH] tools/configure: drop BASH configure variable

2020-06-29 Thread Ian Jackson
Jan Beulich writes ("Re: [PATCH] tools/configure: drop BASH configure variable"): > On 26.06.2020 19:00, Andrew Cooper wrote: > > diff --git a/xen/xsm/flask/policy/mkaccess_vector.sh > > b/xen/xsm/flask/policy/mkaccess_vector.sh > > old mode 100644 > > new

Re: [PATCH] tools/configure: drop BASH configure variable

2020-06-29 Thread Jan Beulich
On 26.06.2020 19:00, Andrew Cooper wrote: > @@ -24,14 +20,14 @@ extra-y += $(ALL_H_FILES) > > mkflask := policy/mkflask.sh > quiet_cmd_mkflask = MKFLASK $@ > -cmd_mkflask = $(CONFIG_SHELL) $(mkflask) $(AWK) include $(FLASK_H_DEPEND) > +cmd_mkflask = $(mkflask) $(AWK) include $(FLASK_H_DEPEND)

RE: [PATCH] tools/configure: drop BASH configure variable

2020-06-29 Thread Paul Durrant
> -Original Message- > From: Andrew Cooper > Sent: 26 June 2020 18:01 > To: Xen-devel > Cc: Andrew Cooper ; Ian Jackson > ; Wei Liu > ; Daniel De Graaf ; Paul Durrant > > Subject: [PATCH] tools/configure: drop BASH configure variable > > This is a weird variable to have in the first p