diff options
| author | Florian Weimer <fweimer@redhat.com> | 2020-01-02 10:18:26 +0100 |
|---|---|---|
| committer | Florian Weimer <fweimer@redhat.com> | 2020-01-02 10:18:26 +0100 |
| commit | 65b6c9b02b49a421648f7fe03e6da49576b5c476 (patch) | |
| tree | 1b89b2cd49a279224e56c89915444e825240620e /stdlib | |
| parent | a1bd5f86739926469bbe0054b93305ff5905b070 (diff) | |
| download | glibc-65b6c9b02b49a421648f7fe03e6da49576b5c476.zip glibc-65b6c9b02b49a421648f7fe03e6da49576b5c476.tar.gz glibc-65b6c9b02b49a421648f7fe03e6da49576b5c476.tar.bz2 | |
build-many-glibcs.py: Introduce LinuxHeadersPolicyForBuild
And move install_linux_headers to the top level.
Reviewed-by: Siddhesh Poyarekar <siddhesh@sourceware.org>
Diffstat (limited to 'stdlib')
0 files changed, 0 insertions, 0 deletions