diff options
author | Tom Gundersen <teg@jklm.no> | 2013-09-25 22:58:00 +0200 |
---|---|---|
committer | Tom Gundersen <teg@jklm.no> | 2013-09-27 15:56:54 +0200 |
commit | 8b179a830a789746cce0be6671e2de235e3b0ea9 (patch) | |
tree | 2a807aabe445f23521f92c6d2158d5a823f6c076 /make-man-rules.py | |
parent | f2ec0646aba7c6703a6c79603957e805b74c3bef (diff) |
kernel-install: avoid using 'cp --preserve'
Force 0644 and root:root instead, to avoid problems with fat filesystems.
Diffstat (limited to 'make-man-rules.py')
0 files changed, 0 insertions, 0 deletions