On 4/17/20 4:12 PM, Joseph Myers wrote:
> On Wed, 8 Apr 2020, Vineet Gupta via Libc-alpha wrote:
>
>> diff --git a/scripts/build-many-glibcs.py b/scripts/build-many-glibcs.py
>> index 64a836c52ea9..77b686d34cea 100755
>> --- a/scripts/build-many-glibcs.py
>> +++ b/scripts/build-many-glibcs.py
>> @
On Wed, 8 Apr 2020, Vineet Gupta via Libc-alpha wrote:
> diff --git a/scripts/build-many-glibcs.py b/scripts/build-many-glibcs.py
> index 64a836c52ea9..77b686d34cea 100755
> --- a/scripts/build-many-glibcs.py
> +++ b/scripts/build-many-glibcs.py
> @@ -1248,6 +1248,7 @@ def install_linux_headers(po
Signed-off-by: Vineet Gupta
---
scripts/build-many-glibcs.py | 1 +
1 file changed, 1 insertion(+)
diff --git a/scripts/build-many-glibcs.py b/scripts/build-many-glibcs.py
index 64a836c52ea9..77b686d34cea 100755
--- a/scripts/build-many-glibcs.py
+++ b/scripts/build-many-glibcs.py
@@ -1248,6 +12