On Wed, Jun 05, 2019 at 09:21:18AM +0200, Auger Eric wrote:
> Hi,
>
> On 5/12/19 10:36 AM, Andrew Jones wrote:
> > Signed-off-by: Andrew Jones
> > ---
> > scripts/update-linux-headers.sh | 3 +++
> > 1 file changed, 3 insertions(+)
> >
> > diff --git a/scripts/update-linux-headers.sh
> > b/scr
Hi,
On 5/12/19 10:36 AM, Andrew Jones wrote:
> Signed-off-by: Andrew Jones
> ---
> scripts/update-linux-headers.sh | 3 +++
> 1 file changed, 3 insertions(+)
>
> diff --git a/scripts/update-linux-headers.sh b/scripts/update-linux-headers.sh
> index c3819d2b983d..e1fce54f8aa3 100755
> --- a/scri
Signed-off-by: Andrew Jones
---
scripts/update-linux-headers.sh | 3 +++
1 file changed, 3 insertions(+)
diff --git a/scripts/update-linux-headers.sh b/scripts/update-linux-headers.sh
index c3819d2b983d..e1fce54f8aa3 100755
--- a/scripts/update-linux-headers.sh
+++ b/scripts/update-linux-headers