diff options
| author | Artem Bityutskiy <Artem.Bityutskiy@nokia.com> | 2008-02-16 15:42:52 +0200 |
|---|---|---|
| committer | Artem Bityutskiy <Artem.Bityutskiy@nokia.com> | 2008-04-17 11:31:58 +0300 |
| commit | 92a74f1c1c9ca4d8009bfdea1c5febb7c0674f15 (patch) | |
| tree | 513e647abdbad5137146ab7c765a3345ca18765c /scripts/gcc-version.sh | |
| parent | a4f0fcdfb2397e81d22446bb364dc190bf16b25a (diff) | |
UBI: make ubi-header.h local
The new trend in linux is not to store headers which define
on-media format in the include/ directory, but instead, store
them locally. This is because these headers "do not define any
kernel<->userspace interface".
Do so for UBI as well.
Signed-off-by: Artem Bityutskiy <Artem.Bityutskiy@nokia.com>
Diffstat (limited to 'scripts/gcc-version.sh')
0 files changed, 0 insertions, 0 deletions