diff options
| author | Masahiro Yamada <yamada.masahiro@socionext.com> | 2019-05-01 15:56:01 +0200 |
|---|---|---|
| committer | Masahiro Yamada <yamada.masahiro@socionext.com> | 2019-05-18 04:29:01 +0200 |
| commit | 178aa03bbe6c0bc2f4b7535b1d06f5c0f8453a0b (patch) | |
| tree | 13b93e3f31ccade4612af5ebd9f73f639e5a0047 /mm/pagewalk.c | |
| parent | sh: vsyscall: drop unnecessary cc-ldoption (diff) | |
| download | linux-178aa03bbe6c0bc2f4b7535b1d06f5c0f8453a0b.tar.xz linux-178aa03bbe6c0bc2f4b7535b1d06f5c0f8453a0b.zip | |
sh: exclude vmlinux.scr from .gitignore pattern
arch/sh/boot/.gitignore has the pattern "vmlinux*"; this is effective
not only for the current directory, but also for any sub-directories.
So, from the point of .gitignore grammar, the following check-in files
are also considered to be ignored:
arch/sh/boot/compressed/vmlinux.scr
arch/sh/boot/romimage/vmlinux.scr
As the manual gitignore(5) says "Files already tracked by Git are not
affected", this is not a problem as far as Git is concerned.
However, Git is not the only program that parses .gitignore because
.gitignore is useful to distinguish build artifacts from source files.
For example, tar(1) supports the --exclude-vcs-ignore option. As of
writing, this option does not work perfectly, but it intends to create
a tarball excluding files specified by .gitignore.
So, I believe it is better to fix this issue.
Signed-off-by: Masahiro Yamada <yamada.masahiro@socionext.com>
Diffstat (limited to 'mm/pagewalk.c')
0 files changed, 0 insertions, 0 deletions