diff options
| author | Denis Vlasenko <vda.linux@googlemail.com> | 2008-04-30 00:58:07 +0000 |
|---|---|---|
| committer | Denis Vlasenko <vda.linux@googlemail.com> | 2008-04-30 00:58:07 +0000 |
| commit | d37cbbd0219b65ad8f8c033d907c82c1a896a646 (patch) | |
| tree | 946cf683b6f5d17e74a5260b97b8f9822172ed68 /libm | |
| parent | e348b8f72b21aa7c645f392b6c11d51c255bb561 (diff) | |
install_headers.sh: detect a case when kernel headers are already
installed in target dir, and dont try to copy them again
Diffstat (limited to 'libm')
0 files changed, 0 insertions, 0 deletions