diff options
author | H. Peter Anvin <hpa@zytor.com> | 2009-04-17 13:46:37 -0400 |
---|---|---|
committer | Ingo Molnar <mingo@elte.hu> | 2009-04-17 16:43:12 -0400 |
commit | 1648e4f805063137b55b869666e936ffd4419cdf (patch) | |
tree | c1b76b075d0592cb3ff86c7ede659dd8a87ed4b4 /Makefile | |
parent | 27229ca63269c1be0a710f074fa9de4024f283f1 (diff) |
x86, kbuild: make "make install" not depend on vmlinux
It is common to use "make install" in restricted environments which
differ from the one which was actually used to build the kernel. In
such environments it is highly undesirable to trigger a rebuild of any
part of the system. Worse, the rebuild may be spurious, triggered by
differences in the environment.
Signed-off-by: H. Peter Anvin <hpa@zytor.com>
Cc: Sam Ravnborg <sam@ravnborg.org>
LKML-Reference: <20090415234642.GA28531@uranus.ravnborg.org>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions