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 /extra/locale | |
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 'extra/locale')
0 files changed, 0 insertions, 0 deletions