diff options
| author | Andi Kleen <andi@firstfloor.org> | 2009-09-18 12:49:37 -0700 |
|---|---|---|
| committer | Sam Ravnborg <sam@ravnborg.org> | 2009-09-20 12:27:44 +0200 |
| commit | 66a570623be0d96130470a41cd38bce889b7e885 (patch) | |
| tree | 600b5979b13da1294035565bab809af8d9af8279 /scripts/Makefile.headersinst | |
| parent | 8f7f5c9fc2966704579ff93f459ffa458bca6fc2 (diff) | |
kbuild: fail build if recordmcount.pl fails
When this script fails the build should fail too. Otherwise there
are mysterious build failures later.
Signed-off-by: Andi Kleen <ak@linux.intel.com>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Sam Ravnborg <sam@ravnborg.org>
Diffstat (limited to 'scripts/Makefile.headersinst')
0 files changed, 0 insertions, 0 deletions