diff options
author | Michal Marek <mmarek@suse.cz> | 2010-06-03 10:54:58 +0200 |
---|---|---|
committer | Michal Marek <mmarek@suse.cz> | 2010-06-03 10:54:58 +0200 |
commit | c8447161470d0292cc96b4f28f03a8eedb7806e9 (patch) | |
tree | 20a83b77c05944ffa4fc6548b1aaf7af3685ddeb /ipc | |
parent | 03b550d3f9faf912d935ea310363e8e96d3aeeea (diff) |
Makefile: clarify a comment
os user <gnusercn@gmail.com> writes:
From the last comment, arch makefile will override vmlinux. It seems
vmlinux will not be checked by `make'. But from my test, although
`all:' will be re-defined in arch Makefile (ARM arch), vmlinux will
still be checked and the commands associated will be executed. Should
we use another word instead of "overridden"?
Reported-by: os user <gnusercn@gmail.com>
Signed-off-by: Michal Marek <mmarek@suse.cz>
Diffstat (limited to 'ipc')
0 files changed, 0 insertions, 0 deletions