diff options
author | Alexey Neyman <stilor@att.net> | 2018-11-06 23:49:37 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-06 23:49:37 -0800 |
commit | 94e79672619ae0e45cf668d83648d00cf0a65096 (patch) | |
tree | 9bb45a6bfff5621f2fe9ce87c01d0a8e2b6362d1 /paths.sh.in | |
parent | c00822f46804c333b02055b3ab374b97e50221a6 (diff) | |
parent | 4acea9cc95db1c4f02bcfb52add9f4d4a736dc2a (diff) | |
download | crosstool-ng-94e79672619ae0e45cf668d83648d00cf0a65096.tar.gz crosstool-ng-94e79672619ae0e45cf668d83648d00cf0a65096.tar.bz2 crosstool-ng-94e79672619ae0e45cf668d83648d00cf0a65096.zip |
Merge pull request #1087 from stilor/pr-985
Fix detection of missing overlays
Diffstat (limited to 'paths.sh.in')
0 files changed, 0 insertions, 0 deletions