diff options
| author |   Fangrui Song <maskray@google.com> | 2024-01-31 15:46:23 -0800 |
|---|---|---|
| committer | Fangrui Song <maskray@google.com> | 2024-01-31 15:46:23 -0800 |
| commit | 0d70accc06a9cbb9b13004116f5fa8b1f41a7150 (patch) | |
| tree | 0dec3ae61ea57a3664396c09f0c71e23c0d1c310 /stdlib/stdint.h | |
| parent | Use gcc __builtin_stdc_* builtins in stdbit.h if possible (diff) | |
| download | glibc-0d70accc06a9cbb9b13004116f5fa8b1f41a7150.tar.xz glibc-0d70accc06a9cbb9b13004116f5fa8b1f41a7150.zip | |
build-many-glibcs: relax version check to allow non-digit characters
A version string may contain non-digit characters, commonly found in
built-from-VCS tools, e.g.
```
git version 2.39.GIT
git version 2.43.0.493.gbc7ee2e5e1
```
`int()` will raise a ValueError, leading to a spurious 'missing'.
Reviewed-by: DJ Delorie <dj@redhat.com>
Diffstat (limited to 'stdlib/stdint.h')
0 files changed, 0 insertions, 0 deletions