diff options
author | Leah Rowe <leah@libreboot.org> | 2024-12-30 13:36:34 +0000 |
---|---|---|
committer | Leah Rowe <leah@libreboot.org> | 2024-12-30 13:36:34 +0000 |
commit | 5b24e0a5a96096273b8b662edf3b2f7ff204c00c (patch) | |
tree | 973dcb336b5b5c9944ca7ea59d4fae0eb1e0a1a6 /script | |
parent | 7849a07588654c03a0df4c30cc9b772b7c338f7c (diff) |
path.sh: More thorough gcc/gnat version check
We were checking the shorthand version number, but
the precise version numbers need to match.
Also: when we searched $PATH/gnat-$gccver, we assumed
that the full version would then match, without checking
it, so now it is checked precisely.
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'script')
0 files changed, 0 insertions, 0 deletions