summaryrefslogtreecommitdiff
path: root/include/path.sh
AgeCommit message (Expand)Author
2024-12-30path.sh: More thorough gcc/gnat version checkLeah Rowe
2024-12-30path.sh: minor cleanupLeah Rowe
2024-12-30path.sh: remove unnecessary shebangLeah Rowe
2024-12-30Mitigate Debian Trixie/Sid GCC/GNAT version mismatchLeah Rowe